Jump to content

Ordered field/Bernoulli's inequality/Fact/Proof

From Wikiversity
Proof

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

since squares in an ordered field are nonnegative.