関数f(x)がaを含む開区間Ｉでn階微分可能ならば
x∈Ｉに対し

f(x)=f(a)+f'(a)(x-a)+｛f"(a)/2!｝*(x-a)^2+…+｛f(n-1)_(a)/(n-1)!｝*(x-a)^(n-1)+Ｒ_nと書いた時
Ｒ_n=〔[f(n)_｛a+θ(x-a)｝]/(n-1)!〕*(1-θ)^(n-1)*(x-a)^n
を満たすθ(0<θ<1)が存在することを示せ