I believe Bertrand's postulate can be thought of in this way: for each prime $p$, there is a prime in the range $(p,2p]$. This was the subject of Erdös's first paper BTW.
Anthony Quas
- 23.2k
- 5
- 63
- 98