函数中的任意和存在性问题(整理)