Differenzierbar/D offen K/Produktregel/Fakt/Beweis

Beweis

Wir gehen von

und

aus, wobei die Bedingungen aus der linearen Approximierbarkeit erfüllt sein sollen, und multiplizieren die beiden Gleichungen. Dies führt zu

Aufgrund von Fakt für Limiten ist die aus der letzten Zeile ablesbare Funktion stetig mit dem Wert für .