nLab Bertrand's postulate

Contents

Introduction

Bertrand’s postulate, first proven by analytic methods by Chebyshev in 1852, is one of the few simple facts providing precise bounds on the occurrence of prime numbers.

Bertrand’s postulate

Given an integer i1i \geq 1, let p ip_{i} denote the i thi^{th} prime. Bertrand’s postulate is the following.

Theorem

For any integer n1n \geq 1, we have that p n+1<2p np_{n+1} \lt 2p_{n}.

Remark

There are a number of equivalent formulations of Theorem . One is that, for any integer n>3n \gt 3, there is a prime pp such that n<p<2nn \lt p \lt 2n.

Proof given Goldbach’s conjecture

Around 2005, it was noticed by Henry J. Ricardo and Yoshihiro Tanaka (Ricardo 05) that Bertrand’s postulate follows from the Goldbach conjecture. We record the proof (of the formulation in Remark ).

Proof

If the Goldbach conjecture holds, there are prime numbers p 1p_{1} and p 2p_{2} such that 2n=p 1+p 22n = p_{1} + p_{2}. We must have that at least one of p 1p_{1} and p 2p_{2} is greater than or equal to nn. Without loss of generality, suppose that p 1p_{1} has this property.

If nn is not prime, then it is immediate that n<p 1<2nn \lt p_{1} \lt 2n, as required. Suppose instead that nn is prime. Then n+1n+1 is composite, since it must be divisible by 22.

By Goldbach’s conjecture once more, there are prime numbers p 1p_{1}' and p 2p_{2}' such that 2(n+1)=p 1+p 22(n+1) = p_{1}' + p_{2}'. As above, at least one of p 1p_{1}' and p 2p_{2}' must be greater than or equal to n+1n+1. Without loss of generality, suppose that p 1p_{1}' has this property.

Then since n+1n+1 is not prime, we have that n+1<p 1<2(n+1)n+1 \lt p_{1}' \lt 2(n+1), and thus that n<p 1<2(n+1)n \lt p_{1}' \lt 2(n+1).

Now, p 1p_{1}' is not equal to 2n+12n+1, for this would imply that p 2=1p_{2}'=1, which is impossible. Moreover, p 1p_{1}' is not equal to 2n2n, since 2n2n is not prime. We deduce that p 1<2np_{1}' \lt 2n, as required.

References

  • Henry J. Ricardo, Goldbach’s conjecture implies Bertrand’s postulate, Amer. Math. Monthly, 112, pg. 492, 2005

Last revised on October 3, 2018 at 06:10:25. See the history of this page for a list of all contributions to it.