Primitive of Reciprocal of Logarithm of x

Theorem
For $x > 1$:

Also see

 * Primitive of $\dfrac 1 {\ln x}$ has no Solution in Elementary Functions