Ich kann keinen Fehler finden.
1. Ergänze vor der ersten Ungleichung die Zeile: Behauptung: a_(n) < a_(n+1)
2. Schreibe neben HN noch: Beide Nenner sind grösser als 0, da n Element N.
3. Vor jede Zeile mit Ungleichungsumformungen gehört das "äquivalent" - Zeichen <==> .
4. Am Schluss nach "wahre Aussage" gern noch " q.e.d. "