恒成立问题的解法