Bertrand's Postulate

- Mathematics & Logic -
Pure Mathematics Dictionary
The statement that for every integer n > 1 there exists at least one prime p with n < p < 2n; equivalently there is always a prime strictly between n and 2n.