Bertrand's postulate

Statement

Let $n$ be a natural number greater than $1$. Then, there exists a prime number $p$ such that $n<p<2n$.

In other words, the [[[prime gap]], i.e., the gap between a prime $p$ and the next prime, is strictly smaller than $p$.