4/12/2020 -- Olympiads 2: Bertrand's Postulate

We prove that for all n there exists a prime number between n and 2*n.