Ordered field/Bernoulli's inequality/Fact/Proof

Proof

We do induction over .  Suppose that the statement is already known for . Then

since squares in an ordered field are nonnegative.