函数中的恒成立存在性问题