Prime number theorem

Remarks

We write this as $\pi(x) \sim x / \ln x$. An equivalent form: the $n$-th prime $p_n$ satisfies $p_n \sim n \ln n$. The logarithmic integral $\operatorname{li}(x) = \int_2^x \frac{dt}{\ln t}$ gives a better approximation of $\pi(x)$, with the same limit. For example, $\pi(10^6) = 78498$ and $10^6 / \ln 10^6 \approx 72382$.

History

Legendre and Gauss conjectured the result from tables of primes, at the end of the 18th century. Hadamard and de la Vallée Poussin proved it independently in 1896, with methods of complex analysis. Selberg and Erdős found elementary proofs in 1949.