Primitive of Reciprocal of Logarithm of x has no Solution in Elementary Functions/Historical Note

Historical Note on Primitive of $\dfrac 1 {\ln x}$ has no Solution in Elementary Functions
The proof that $\displaystyle \int \dfrac {\mathrm d x} {\ln x}$ cannot be expressed with a finite number of elementary functions was first proved by.