这个人太菜了，轻喷。
数列极限
定义
数列的概念
自变量为正整数的函数 \(u_n=f(n)\)，其中 \(n=1,2,3\cdots\)，将其函数值按自变量从小到大排成一列数 \(u_1,u_2\cdots u_n \cdots\)，称为数列，将其简记为 \(\{u_n\}\)。
其中 \(u_n\) 称为数列的通项或者一般项。、
数列极限的定义（\(\epsilon-N\) 语言）
如果一个数列 \(\{x_n\}\) 和一个常数 \(a\) 有以下关系：\(\forall\epsilon>0\)（念 epsilon），\(\exists N\)（\(N\) 是正整数），使得当 \(n>N\) 时，总有 \(|x_n-a|<\epsilon\)，则称该数列的极限为 \(a\)，记作 \(\displaystyle\lim_{n\to \infty}x_n=a\)（或者 \(x_n\to a(n\to \infty)\)），此时称该数列收敛，否则称该数列发散（那个 \(\infty\) 不带正负号）。
注意：\(\epsilon\) 为极小数，一般不会大于 \(1\)，要是你取一个 \(\epsilon=10000\) 然后发现所有的数列都是收敛的就挂了。
现在我们尝试把上面的绝对值符号拆开然后感性理解一下为什么极限是这样定义的：
\[|x_n-a|<\epsilon\iff -\epsilon<x_n-a<\epsilon\iff a-\epsilon<x_n<a+\epsilon \]注意到 \(\epsilon\) 为极小数，那么此时 \(x_n\) 无限趋近于 \(a\)，感性上就非常正确。
所以我们将区间 \((a-\epsilon,a+\epsilon)\) 称为 \(a\) 的邻域，记作 \(U(a,\epsilon)\)。同时，\(a\) 的去心邻域（顾名思义就是去掉中心）是区间 \((a-\epsilon,a)\cup(a,a+\epsilon)\)，记作 \(\mathring{U}(a,\epsilon)\)。
现在你已经学会了极限，那么让我们把他运用到简单的栗子中来吧：
eg1：设数列 \(\{x_n\}=\frac{n+(-1)^n}{n}\)，证明 \(\{x_n\}\) 的极限为 \(1\)。
思路：
等同于证明 \(|\frac{n+(-1)^n}{n}-1|<\epsilon\)（注意并不需要构造 \(\epsilon\)），也就是 \(\frac{1}{n}<\epsilon\)，即 \(n>\frac{1}{\epsilon}\)。
好的，那么证明：
\(\forall \epsilon>0\)，取 \(N=\frac{1}{\epsilon}\)，容易证明当 \(n>N\) 时有 \(|x_n-1|<\epsilon\)，所以 \(\displaystyle\lim_{n\to \infty}x_n=1\)。
确实非常简单，然后我们发现最重要的部分在于构造一个满足条件的 \(N\)。
eg2：设 \(\{x_n\}=\frac{(-1)^n}{(n+1)^2}\)，证明 \(\{x_n\}\) 的极限为 \(0\)。
思路：
等同于证明 \(|\frac{(-1)^n}{(n+1)^2}-0|<\epsilon\)，也就是 \(\frac{1}{(n+1)^2}<\epsilon\)，我们注意到 \(\frac{1}{(n+1)^2}<\frac{1}{n+1}\)，那么取 \(\epsilon=\frac{1}{n+1}\)，即 \(n=\frac{1}{\epsilon}-1\)，所以另 \(N=\frac{1}{\epsilon}-1\) 即可。
证明：
\(\forall\epsilon>0\)，取 \(N=\frac{1}{\epsilon}-1\)，当 \(n>N\) 时有 \(|x_n-0|<\epsilon\)，故 \(\displaystyle\lim_{n\to \infty}x_n=0\)。
不难发现当 \(n\) 更大时 \(x_n\) 只会越来越小，并且非负，所以符合条件。
容易看出上述证明中我们运用了放缩法。
eg3：设 \(|q|<1\)，证明等比数列 \(1,q,q^2\cdots q^n\cdots\) 极限为 \(0\)。
思路：
写出通项 \(\{x_n\}=q^{n-1}\)，等同于证明 \(|q^{n-1}-0|<\epsilon\)，也就是 \(|q|^{n-1}<\epsilon\)，我们发现这个指数很恶心，所以运用一些简单的高中计算变成：\(\ln|q|^{n-1}<\ln\epsilon\)，换底之后 \((n-1)\ln|q|<\ln\epsilon\)，即 \(n<\frac{\ln\epsilon}{\ln|q|}+1\)，取 \(N=\frac{\ln\epsilon}{\ln|q|}+1\) 即可。
证明：
\(\forall\epsilon>0\)，取 \(N=\frac{\ln\epsilon}{\ln|q|}+1\)，当 \(n>N\) 时有 \(|x_n-0|<\epsilon\)，也就是 \(\displaystyle\lim_{n\to \infty}x_n=0\)。
注意到 \(|q|<1\)，所以当 \(n>N\) 时 \(x_n\) 只会越乘越小，且非负，所以符合条件。
写过程太麻烦了，以后就不写了。