Primitive of Reciprocal of x by Logarithm of x

Theorem

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