>>789
f(x)=x-cosxとおいて中間値の定理