定义证明函数极限存在的方法