函数有界的定义