1.3 利用定义证明函数极限存在性