ConceptComplete

Statement of Prime Number Theorem

The Prime Number Theorem (PNT) is the crown jewel of 19th century mathematics, settling the distribution of primes with remarkable precision.

TheoremPrime Number Theorem

As xx \to \infty:

π(x)xlogx\pi(x) \sim \frac{x}{\log x}

meaning limxπ(x)logxx=1\lim_{x \to \infty} \frac{\pi(x) \log x}{x} = 1.

Equivalently: ψ(x)x\psi(x) \sim x and θ(x)x\theta(x) \sim x.

ExampleNumerical Evidence

| xx | π(x)\pi(x) | x/logxx/\log x | Ratio | |-----|----------|------------|-------| | 10310^3 | 168 | 145 | 1.159 | | 10610^6 | 78,498 | 72,382 | 1.084 | | 10910^9 | 50,847,534 | 48,254,942 | 1.054 | | 101210^{12} | 37,607,912,018 | 36,191,206,825 | 1.039 |

The ratio approaches 1, confirming PNT. Using Li(x)\text{Li}(x) gives even better approximations.

DefinitionEquivalent Formulations

The following are equivalent to PNT:

  1. π(x)x/logx\pi(x) \sim x/\log x
  2. ψ(x)x\psi(x) \sim x
  3. θ(x)x\theta(x) \sim x
  4. px1ploglogx\sum_{p \leq x} \frac{1}{p} \sim \log \log x (Mertens' theorem)
  5. px(11p)1logx\prod_{p \leq x} \left(1 - \frac{1}{p}\right)^{-1} \sim \log x
  6. The nn-th prime satisfies pnnlognp_n \sim n \log n
Remark

The PNT was conjectured by Gauss and Legendre around 1800 based on numerical tables. It was independently proved by Hadamard and de la Vallée Poussin in 1896 using complex analysis, specifically the zero-free region of ζ(s)\zeta(s) on the line (s)=1\Re(s) = 1.

Elementary proofs (avoiding complex analysis) were later found by Erdős and Selberg in 1949, though they are significantly longer and less conceptual.

ExamplePrime Number Theorem with Error Term

With explicit constants:

π(x)=Li(x)+O(xeclogx)\pi(x) = \text{Li}(x) + O(x e^{-c\sqrt{\log x}})

for some c>0c > 0. Under the Riemann Hypothesis:

π(x)=Li(x)+O(xlogx)\pi(x) = \text{Li}(x) + O(\sqrt{x} \log x)

which is optimal up to logarithmic factors.

The Prime Number Theorem transforms primes from a mysterious, irregular sequence into a well-understood statistical ensemble, paving the way for modern analytic number theory.