​Vollständige Induktion bei Ungleichungen mit Beweis

Ok, auf gehts - ich fang' mal an mit a): 

Der Induktionsanfang ist ok: Für n=1 ist p¹ = p > 1².

Sei nun die Aussage wahr für eine Zahl n.

$p^{n+1} = p^n \cdot p >^* n^2 \cdot p \geq n^2 \cdot 3 = n^2 +2n^2 \geq^{**} n^2 +2n +1 = (n+1)^2$

Bei * wurde die Induktionsvoraussetzung genutzt, ** folgt, weil 2n² > 2n+1 für n>1.

Weiter geht's mit b): Der Induktionsanfang klappt auch hier: Für n=1 lautet die Ungleichung 7+1 kleinergleich 8 - das stimmt.

Sei nun die Aussage wahr für ein n.

Dann ist

 $7^{n+1} +(n+1) = \\ 7 \cdot 7^n +n+1 = \\ (6 \cdot 7^n +1) + 7^n +n \leq^* \\ (6 \cdot 7^n +1) +8^n < \\ 7 \cdot 8^n +8^n = 8^{n+1}$

Ich habe wieder in * die Induktionsvoraussetzung genutzt. Für die letzte Ungleichung mach' ich den Wert in der Klammer einfach größer, damit man alles zusammenfassen kann zu 8^(n+1), was ja das Ziel ist.

Ich hoff' das ist klar so! :)