展开 有界函数的定义证明