transfinite arithmetic, cardinal arithmetic, ordinal arithmetic
prime field, p-adic integer, p-adic rational number, p-adic complex number
arithmetic geometry, function field analogy
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.
Given an integer $i \geq 1$, let $p_{i}$ denote the $i^{th}$ prime. Bertrand’s postulate is the following.
For any integer $n \geq 1$, we have that $p_{n+1} \lt 2p_{n}$.
There are a number of equivalent formulations of Theorem . One is that, for any integer $n \gt 3$, there is a prime $p$ such that $n \lt p \lt 2n$.
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 ).
If the Goldbach conjecture holds, there are prime numbers $p_{1}$ and $p_{2}$ such that $2n = p_{1} + p_{2}$. We must have that at least one of $p_{1}$ and $p_{2}$ is greater than or equal to $n$. Without loss of generality, suppose that $p_{1}$ has this property.
If $n$ is not prime, then it is immediate that $n \lt p_{1} \lt 2n$, as required. Suppose instead that $n$ is prime. Then $n+1$ is composite, since it must be divisible by $2$.
By Goldbach’s conjecture once more, there are prime numbers $p_{1}'$ and $p_{2}'$ such that $2(n+1) = p_{1}' + p_{2}'$. As above, at least one of $p_{1}'$ and $p_{2}'$ must be greater than or equal to $n+1$. Without loss of generality, suppose that $p_{1}'$ has this property.
Then since $n+1$ is not prime, we have that $n+1 \lt p_{1}' \lt 2(n+1)$, and thus that $n \lt p_{1}' \lt 2(n+1)$.
Now, $p_{1}'$ is not equal to $2n+1$, for this would imply that $p_{2}'=1$, which is impossible. Moreover, $p_{1}'$ is not equal to $2n$, since $2n$ is not prime. We deduce that $p_{1}' \lt 2n$, as required.
Last revised on October 3, 2018 at 02:10:25. See the history of this page for a list of all contributions to it.