上界与下界相等