数列の収束って？〜直感から論理へ〜 https://for-spring.com/analysis/continuity-8/