用极限定义证明函数极