总结归纳函数极限定义