Die 6. Zeile ist die Kurzform für:
Zu zeigen ist: unter der Voraussetzung 2n≥n2 gilt 2n+1≥(n+1)2.
Zu zeigen ist also: 2n+2n≥n2+2n+1
Wegen 2n≥n2 bleibt zu zeigen:
2n≥2n+1, was man entweder als sebstvertändlich ansieht oder wiederum durch vollst. Ind. beweist.