最大元素肯定是最小下界。