じゃあかいてあることをかくよ(その部分だけ)

Xk,Xバーのうち大きくない方をa,他方をbとすると、�Aより
[(1)で証明した等式にb=Xk,a=Xバーが代入された式 ](a≦c≦b)
をみたすcが存在する
 ここで,f(c)>0だから f(Xk)≧f(Xバー)+f'(X)(Xk-Xバー) (k=1~n)