コーシー列と実数の連続性との関係は？ https://for-spring.com/analysis/continuity-19/