Real numbers/Bernoulli's inequality/Fact