Die Funktion
(mit einem geeigneten δ > 0 {\displaystyle {}\delta >0} ) ist nach Fakt ( k + 1 ) {\displaystyle {}(k+1)} -mal differenzierbar. Aufgrund der Taylor-Formel für eine Variable gibt es ein c ∈ [ 0 , 1 ] {\displaystyle {}c\in [0,1]}
mit
Wir drücken die einzelnen Summanden mit Hilfe von Fakt aus und erhalten