Point at which Prime-Counting Function becomes less than Eulerian Logarithmic Integral

Theorem
Let $\pi \left({n}\right)$ denote the prime-counting function.

Let $a \uparrow b$ be interpreted as Knuth notation for $a^b$.