Zitat:
Anschließend beweise ich (unter der Vorraussetzung, dass die Behauptung für alle n in N mit n<=k gilt), dass die Behauptung auch für alle n in N mit n<=k+1 gilt.
a) Warum forderst du, dass die Behauptung für alle n<=k gilt? Diese Vorraussetzung wird nicht benutzt.
b) Wer ist eigentlich dieses k?
BTW: Du zeigst nicht, dass die Behauptung für alle n<=k+1 gilt. Du zeigst ausschließlich, dass sie für n+1 (k+1?) gilt.
@ GrünFisch: Ohne diese Annahme kommst du aber nicht ans Ziel. Und wenn du etwas unter einer unbewiesenen Annahme berechnen willst, musst du die schon angeben.