区間縮小法(区間縮小の原理)の証明 https://for-spring.com/analysis/continuity-11/