Primitive of Reciprocal of x by Logarithm of x

Theorem

 * $\displaystyle \int \frac {\mathrm d x} {x \ln x} = \ln \left({\ln x}\right) + C$