例題1:

二分法によって、方程式 $\cos x - x=0$ の解を計算せよ。