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
-
