函数有下界证明(1个结果)
函数有下界证明