函数有上界和下界的定义