ラグランジュ型の剰余項
$ R_{n+1} = \frac{f^{(n+1)}(c)}{(n+1)!} x^{n+1} \quad(0<c<x)
Dⁿ/n!の数列の収束を示す
に帰着できるのがモチベーション
関数
$ f^{(n+1)}(x)
が有界であればよい
$ |f^{(n+1)}(x)| \le M
なる定数
$ M
で押さえられる