練習問題 3.6.1
floor xの2つめのプログラムが，2log2 (abs x)ステップの計算であることを説明せよ．
0 ≦ x の場合：
1ステップで上限を2倍にするので，upper の計算にlog_{2} (abs x) ステップ．
下限と上限との区間幅を半分にするので，middle の計算にlog_{2}(abs x)ステップ．
したがって，全体としては2 log_{2}(abs x)ステップの計算になる．
x ＜ 0 の場合：上の場合と同様の推論．floor xの2つめのプログラムが，2log2 (abs x)ステップの計算であることを説明せよ．
0 ≦ x の場合：
1ステップで上限を2倍にするので，upper の計算にlog_{2} (abs x) ステップ．
下限と上限との区間幅を半分にするので，middle の計算にlog_{2}(abs x)ステップ．
したがって，全体としては2 log_{2}(abs x)ステップの計算になる．
x ＜ 0 の場合：上の場合と同様の推論．