MathLabs
TheoremProved

Chebyshev's bound: θ(n) < (log 4) n

Statement

Let θ(x)=∑p≤xlog⁡p\theta(x) = \sum_{p \le x} \log p. Then θ(n)<(log⁡4) n\theta(n) < (\log 4)\, n for every integer n≥1n \ge 1.

Why is it true?

Before Hadamard and de la Vallée Poussin's 1896 analytic proof, Chebyshev (1852) already showed elementarily, using nothing but binomial coefficients, that the count of primes is trapped within a constant factor of x/log x. This bound is the key elementary ingredient later inputs to any proof of the full theorem, and its central-binomial-coefficient trick is the same one behind Erdős's famous elementary proof of Bertrand's postulate.

Proof sketch

We use strong induction on nn. Base cases n=1,2n=1,2 are immediate: θ(1)=0\theta(1)=0 and θ(2)=log⁡2<log⁡4\theta(2)=\log 2 < \log 4.

For the inductive step, suppose the bound holds for every positive integer smaller than nn. If n>2n>2 is even, nn is not prime, so θ(n)=θ(n−1)<(log⁡4)(n−1)<(log⁡4)n\theta(n)=\theta(n-1) < (\log4)(n-1) < (\log4)n by the induction hypothesis applied to n−1n-1.

If n=2m+1n=2m+1 is odd, consider the central binomial-type coefficient (2m+1m)=(2m+1)!m! (m+1)!\binom{2m+1}{m}=\dfrac{(2m+1)!}{m!\,(m+1)!}. It appears twice among the 22m+12^{2m+1} terms of the binomial expansion of (1+1)2m+1(1+1)^{2m+1} (once as (2m+1m)\binom{2m+1}{m}, once as (2m+1m+1)\binom{2m+1}{m+1}, and these are equal), so 2(2m+1m)≤22m+12\binom{2m+1}{m} \le 2^{2m+1}, giving (2m+1m)≤4m\binom{2m+1}{m} \le 4^m.

Every prime pp with m+1<p≤2m+1m+1 < p \le 2m+1 divides the numerator (2m+1)!(2m+1)! but divides neither m!m! nor (m+1)!(m+1)! (since p>m+1p>m+1), so pp divides (2m+1m)\binom{2m+1}{m}. Hence the product of all such primes divides (2m+1m)\binom{2m+1}{m}, so ∏m+1<p≤2m+1p≤(2m+1m)≤4m\prod_{m+1<p\le 2m+1} p \le \binom{2m+1}{m} \le 4^m, i.e. θ(2m+1)−θ(m+1)≤(log⁡4) m\theta(2m+1)-\theta(m+1) \le (\log 4)\,m.

By the induction hypothesis applied to m+1<nm+1<n, θ(m+1)<(log⁡4)(m+1)\theta(m+1) < (\log4)(m+1). Adding, θ(n)=θ(2m+1)<(log⁡4)(m+1)+(log⁡4)m=(log⁡4)(2m+1)=(log⁡4)n\theta(n)=\theta(2m+1) < (\log4)(m+1) + (\log4)m = (\log4)(2m+1) = (\log4)n, completing the induction.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. MacTutor History of Mathematics, University of St Andrews (2021). Prime numbers (history)
  2. Donald J. Newman (1980). Simple analytic proof of the prime number theorem · DOI:10.1080/00029890.1980.11995126