Bertrand's postulate

See the proof that for every integer n greater than 1 there is a prime number between n and 2n here.