有界な単調列は収束する https://for-spring.com/analysis/continuity-9/