Wir fragen uns, ob
-
ist. Dies ist, da das Quadrieren von positiven Zahlen eine Äquivalenzumformung für die Größenbeziehung ist, äquivalent zu
-
Dies ist durch Subtraktion mit äquivalent zu
-
bzw. zu
-
Mit erneutem Quadrieren ist dies äquivalent zu
-
was stimmt. Also ist
-