2分法による近似計算

0≦x≦1の範囲で単調に増加する連続関数f(x)がf(0)<0≦f(1)を満たすとき、区間内でf(x)=0であるxの値を近似的に求めるアルゴリズムにおいて、(2)は何回実行されるか。

〔アルゴリズム〕 (1) x₀←0、x₁←1とする。 (2) x←(x₀+x₁)/2とする。 (3) x₁-x<0.001ならばxの値を近似値として終了する。 (4) f(x)≧0ならばx₁←xとして、そうでなければx₀←xとする。 (5) (2)に戻る。