定义证明函数有界(9个结果)
定义证明函数有界