Sign of Difference between Prime-Counting Function and Eulerian Logarithmic Integral Changes Infinitely Often

Theorem
The sign of $\map \pi n - \displaystyle \int_2^n \frac {\d x} {\ln x}$ changes infinitely often as $n$ increases indefinitely.