Chebyshev's bound: θ(n) < (log 4) n
Statement
Let . Then for every integer .
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 . Base cases are immediate: and .
For the inductive step, suppose the bound holds for every positive integer smaller than . If is even, is not prime, so by the induction hypothesis applied to .
If is odd, consider the central binomial-type coefficient . It appears twice among the terms of the binomial expansion of (once as , once as , and these are equal), so , giving .
Every prime with divides the numerator but divides neither nor (since ), so divides . Hence the product of all such primes divides , so , i.e. .
By the induction hypothesis applied to , . Adding, , completing the induction.
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- MacTutor History of Mathematics, University of St Andrews (2021). Prime numbers (history)
- Donald J. Newman (1980). Simple analytic proof of the prime number theorem · DOI:10.1080/00029890.1980.11995126