Wir haben also eine Abschätzung für das n-te Taylorpolynom für f mit Entwicklungspunkt x0:
Tn(x)−f(x)∣≤Rn(x) mit Rn(x)=f(n+1)(c)(n+1)!(x−x0)n+1
mit eine Zwischenstelle c. Wir zeigen, dass das Restglied für jede x gegen 0 geht: Es existiert ein m∈N mit
n∣x−x0∣≤0.5 fu¨r n≥m
Dann gilt für n>m:
∣Rn(x)∣≤∣∣∣∣∣k(x)m!(x−x0)m∣∣∣∣∣0.5n−m