Bertrand's postulate

Bertrand's postulate is a theorem stating that for any integer ${\displaystyle n>3}$, there always exists at least one prime number ${\displaystyle p}$ with

A weaker but more elegant formulation is: for every ${\displaystyle n>1}$ there is always at least one prime ${\displaystyle p}$ such that

...
Wikipedia