区間縮小法⇒デデキントの定理 https://for-spring.com/analysis/continuity-12/