# Strong Bertrand postulate

Is it known that for every epsilon there is N_0 such that all intervals of the form [N, (1+\epsilon)*N], where N > N_0, contain prime numbers?

-