Die Äquivalentumformungen wurden ja durch
die einschlägigen Rechenregeln durchgeführt.
Also kannst du statt
(n+1)2n+1 < nn (n+2)n+1
auch die äquivalente Ungleichung
(1 + 1/n )
n < (1 + 1/(n+1))
n+1
beweisen. Letztere ist aber üblicherweise
nicht mehr zu beweisen, weil das eine bekannte
Eigenschaft der Folge (1 + 1/n )
n ist.
Und wenn ihr das nie bewiesen habt, dann beweist du das
mit vollst. Induktion. Dabei ist der Indschritt etwa so
(1 + 1/(n+1))
n+1
= ((n+2)/(n+1))n+1
< ((n+3)/(n+2))
n+1 = ( 1+ 1 / (n+2) )
n+1 < ( 1+ 1 / (n+2) )
n+1 * ( 1+ 1 / (n+2) )
= ( 1+ 1 / (n+2) )n+2
Bingo!