证明有界函数的无上界和无下界