上に有界、上界、上限とは？ https://for-spring.com/analysis/continuity-3/