根据极限的定义证明函数极限存在的充要条件