函数中存在与恒成立问题