Ordered field/Bernoulli's inequality/Fact