Primitive of Reciprocal of x by Logarithm of x

Theorem

 * $\ds \int \frac {\d x} {x \ln x} = \ln \size {\ln x} + C$