チャート式「a < x, a ≦ xならaは下限」

https://x.com/genkuroki/status/1621750637372526593

???