用定义证明函数极限的格式