这是必须的，N≤f（x）≤M这样的话，N是下确界，M是上确界。所以从这个不等式可知，M必然大于等于N。
设数集S,记U为S的上界全体所组成的集合,则U中一定有一个最小数,设最小数为贝塔,贝塔即为数集S的上确界,记为贝塔=sup S设数集S,记L为S的下界全体所组成的集合,则L中一定有一个最大数,设最大数为阿尔法,贝阿尔法即为数集S的下确界,记为贝阿尔法=inf S
