函数存在性问题