Primitive of Reciprocal of x by Logarithm of x

Theorem

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