Ordered field/Bernoulli's inequality/Fact/Proof