上限_(sup)