Verankerung:
n=1. Du hast 2 Summanden. erst k=0 und dann k=1
(f * g) ' = (1 tief 0) * f ' * g + (1 tief 1) * f * g '
= f ' * g + f * g '
Wie das dir Produktregel schon sagt. Scheint also zu passen.
Iduktionsvoraussetzung ist die Formel, die du in der allg. Behauptung hast.
Induktionsbehauptung ist dieselbe Formel mit n+1 statt mit n.