Ordered field/Bernoulli's inequality/Fact/Proof
Appearance
Proof
We do induction over . Suppose that the statement is already known for . Then
since squares in an ordered field are nonnegative.
We do induction over . Suppose that the statement is already known for . Then
since squares in an ordered field are nonnegative.