数列极限的严格定义
定义 设有数列与常数，若对于任意给定的正数(不论它多么小)，总存在正整数，使得对于时的一切，不等式
都成立，则称是数列的极限，或称数列收敛于，记为
或
如果一个数列没有极限，就称该数列是发散的。
注1：按定义知，数列的极限与该数列的前有限项的取值无关。
注2：数列极限的数学分析语言：
，，当时，恒有。
注3：数列极限的定义并未给出求极限的方法，只给出了论证数列的极限为的方法，常称为论证法，其论证步骤为：
(1) 对于任意给定的正数；
(2) 由不等式开始分析倒推，推出，其目的是具体找到一个满足定义的，这样，在分析倒推过程中，我们就可以利用常用不等式及其性质，通过缩放不等式来化简推出。
(3) 此时只需取，就可保证当时，恒有
。
最后，再语言顺述结论，完成证明。