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

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

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

Also see

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