>>698
もとの質問に対する答えとしては極限を用いる必要は全くないのだから
694-696は「答えを出すために勝手に仮定を導入した」ということになるよね

実際、答えは現実とは乖離していて、通常の計算機のうえでは二分法が
失敗するような関数が存在するから、考える関数のクラスを制限する必要がある