用极限的定义证明极限存在的充要条件