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 11 {\displaystyle {}11} äquivalent zu
was stimmt. Also ist