Primitive of Reciprocal of Logarithm of x has no Solution in Elementary Functions

Theorem
The primitive:
 * $\displaystyle \int \frac {\mathrm d x} {\ln x}$

cannot be expressed in terms of a finite number of elementary functions.

Also see

 * Primitive of $\dfrac {\mathrm d x} {\ln x}$