prime

what

a.k.a: Bertrand’s postulate, Bertrand–Chebyshev theorem, Chebyshev’s theorem

For every , there is always at least one prime such that .

references