数列与数列极限
数列是定义在正整数上的函数，可以用通项写，也可以用递推写。n→∞ 时它是否稳定到一个值，就是数列极限问题。
8 分钟思维方法: 极限过程
不问到了没有，只问越来越接近什么
这一片为什么存在
你已经会算 f(x) 在某点的极限。但"无穷"第一次真正落地，是在数列上：这里没有从左边靠近，也没有从右边靠近，只有一个方向——n 一直往大了走。这一片要解决的是：怎么把"越来越接近"这句日常话，变成一句你能拿去证明的话。
内容
数列就是排好队的一串数：a₁, a₂, a₃, ……
把它看成一个函数，定义域只有正整数——这就是它和你熟悉的 f(x) 的唯一区别。写法有两种。一种是通项，直接告诉你第 n 个是谁，比如 aₙ = 1/n。另一种是递推，先告诉你第一个是谁，再告诉你从上一个怎么走到下一个，比如 a₁ = 1，a_{n+1} = aₙ/2 + 1。通项像地图，递推像脚印。地图一眼看到终点，脚印得一步一步走出来。
现在问核心问题：n 一直变大，这串数会不会稳定下来。
"稳定"这个词要小心。它不是"最后等于某个数"，也不是"一直朝一个方向靠"。它的准确意思是：你先画一条误差带，随便多窄都行；数列从某一项开始，之后所有项都掉在带子里，再也不出来。注意这句话的顺序：带子是你先画的，"某一项"是随后才找的。带子越窄，那一项可能越靠后，但它必须存在。
这个顺序能一次讲清四件容易搞混的事。
第一，有界不等于收敛。aₙ = (−1)ⁿ 永远卡在 −1 和 1 之间，可它在两点之间来回跳。你把误差带宽度画成 0.5，它永远有项落在带外。有界只是说队伍跑不远，没说它会停。
第二，越来越小不等于收敛到 0。aₙ = 1 + 1/n 每一项都比前一项小，可它挤向的是 1。"往下走"只说了方向，没说走到哪儿停。
第三，递推式写得出来，不代表这个数列收敛。a₁ = 1、a_{n+1} = 2aₙ 也是完全合法的递推，它一路跑向无穷。递推保证每一项都存在，不保证队伍有终点。
第四，收敛不等于单调。aₙ = (−1)ⁿ/n 一正一负地跳，却越跳幅度越小，稳稳收敛到 0。它一次也没有单调过。
把这四条并排看，你会发现极限关心的从来不是"到了没有"，而是"最终能有多接近、能不能想多近就多近"。这就是极限思维本身。
数列记作 {aₙ}，本质是一个函数 a: ℕ⁺ → ℝ，把每个正整数 n 送到一个实数 aₙ。n 叫下标，aₙ 叫第 n 项。
设 A 是一个实数。称 {aₙ} 收敛于 A，记作 lim(n→∞) aₙ = A，如果：对任意 ε > 0，存在正整数 N，使得当 n > N 时，|aₙ − A| < ε。
逐个交代符号。
ε 是你画的那条误差带的半宽。它可以任意小，但必须是正的。
N 是"从这里开始"的门槛，是一个具体的正整数，不是无穷。
|aₙ − A| 是第 n 项到 A 的距离；绝对值让左右两侧一视同仁。
"对任意 ε，存在 N"这个顺序不能颠倒。N 允许依赖 ε，通常写成 N(ε)；ε 不许依赖 N。
若不存在这样的 A，就说 {aₙ} 发散。
数列没有单侧极限，因为 n 只能沿正整数往大走，不存在"从右边趋近无穷"这回事。
一个常用判据：单调有界必收敛。单调保证不来回跳，有界保证不跑掉，两个条件缺一不可。
跟着做一遍
取 aₙ = (3n+1)/(n+2)。先猜它的极限，再用定义验证：给定 ε = 0.01，找出一个能用的 N；然后把 ε 换成任意正数，给出 N 的通用取法。
- 先猜。分子分母同除以 n，得 aₙ = (3 + 1/n)/(1 + 2/n)。n 变大时 1/n 和 2/n 都往 0 挤，所以猜 A = 3。
- 算距离。|aₙ − 3| = |(3n+1 − 3(n+2))/(n+2)| = 5/(n+2)。
- 注意 5/(n+2) 恒为正，绝对值可以直接去掉。问题于是变成：让 5/(n+2) 小于 ε。
- 代入 ε = 0.01。要 5/(n+2) < 0.01，即 n + 2 > 500，即 n > 498。取 N = 498。
- 验一下。n = 499 时 a₄₉₉ = 1498/501 ≈ 2.99002，与 3 相差约 0.00998，确实小于 0.01。
- 换成一般的 ε。要 5/(n+2) < ε，解得 n > 5/ε − 2。
- 取 N 为不小于 5/ε 的任一正整数即可，它一定大于 5/ε − 2。这样对任意 ε > 0 都找得到 N。
- 定义被完整满足，结论成立。
结果
lim(n→∞) aₙ = 3，且 N 可取 ⌈5/ε⌉。回头看关键动作：整个过程没有任何一步在"算 n = ∞ 时的值"，只在估计 |aₙ − 3| 能被压到多小。这就是把"越来越接近"变成可验证语句的全部技术含量。