怎么用定义证明函数极限式