Number of Primes up to n Approximates to Eulerian Logarithmic Integral

Theorem
The prime-counting function approximates to the Eulerian logarithmic integral:
 * $\pi \left({n}\right) \approx \displaystyle \int_2^n \frac {\mathrm d x} {\ln x}$

Also see

 * Prime Number Theorem