Üblicherweise schreibt man n für a. Also setze ich a=n. Dann ist zu zeigen:
Wenn √(n+1) - 1 ≤i=1∑n1/√i, (Voraussetzung)
dann √(n+2) - 1 ≤i=1∑n1/√i +1/√(n+1) (Behauptung).
Wenn die Differenz "Voraussetzung - Behauptung" für alle n wahr ist, dann ist auch die Behauptung für alle n wahr. Bleibt zu zeigen: √(n+2) - √(n+1) ≤ 1/√(n+1) gilt für alle n. Und das zeige ich jetzt:
n+1 ≤ n+2 ist wahr für alle n. Auf beiden Seiten mal (n+2). Dann gilt
(n+1)(n+2) ≤ (n+2)2 Auf beiden Seiten Wurzel ziehen:
√((n+1)(n+2)) ≤ (n+2). Auf beiden Seiten minus (n+1).
√((n+1)(n+2)) - (n+1) ≤ 1. Auf beiden Seiten durch √(n+1).
√(n+2) - √(n+1) ≤ 1/√(n+1),was zu zeigen war.