证明函数有界 其上界和下界非得互为相反数吗