the archive·prime numbers FAQ·mystery·reception·search·home

In 1896, de la Valee Poussin and Hadamard simultaneously proved what had been suspected for several decades, and what is now known as the prime number theorem:

\(\pi(x) \sim x/\log x\)

In words, the (discontinuous) prime counting function π(x) is asymptotic to the (smooth) logarithmic function x/log x. This means that the ratio of π(x) to x/log x can be made arbitrarily close to 1 by considering large enough x. Hence x/log x provides an approximation of the number of primes less than or equal to x, and if we take sufficiently large x this approximation can be made as accurate as we would like (proportionally speaking – very simply, as close to 100% accuracy as is desired).

The original proofs of the prime number theorem suggested other, better approximations. In the above graph we see that x/log x, despite being asymptotic to π(x), is far from being the smooth function which π(x) suggests when we zoom out – there is plenty of room for improving the approximation. These improvements turn out to be greatly revealing.

<< previous      beginning      next >>