Die Behauptung soll für \(n\ge0\) gezeigt werden, daher habe ich die Verankerung bei \(n=0\) gesetzt. Wenn du \(n=1\) als Verankerung wählst, fehlt dir der Beweis für den Fall \(n=0\).
Ansonsten habe ich doch alles geschrieben:
IA => Behauptung bzw. (Ind.Vor.)
IV => Induktionsverankerung bei \(n=0\).
IS => Induktionsschritt von \(n\) auf \((n+1)\)