上限と最大値、下限と最小値は違うの？ https://for-spring.com/analysis/continuity-4/