We do induction over n {\displaystyle {}n} . Suppose that the statement is already known for n {\displaystyle {}n} . Then
since squares in an ordered field are nonnegative.