给一个函数不等式加极限符号 未知数趋向无穷 是不是恒成立