収束列とコーシー列は同値 https://for-spring.com/analysis/continuity-18/