恒成立与存在性问题