有界函数的定义证明