请求反馈：自然数r时序列$1/n^r$极限为0的证明及替代思路

嘿，你的归纳法证明框架是完全站得住脚的，但目前的证明里归纳步骤的核心细节缺失了——这可是让证明严谨起来的关键哦！我帮你把这部分补全一下：

完善后的归纳法证明 #

• 基础步骤：当$r=1$时，序列为$\frac{1}{n}$，根据已证结论可知$\lim_{n \to \infty} \frac{1}{n} = 0$，基础情况成立；
• 归纳假设：假设对于任意自然数$k$，$\lim_{n \to \infty} \frac{1}{n^k} = 0$成立；
• 归纳步骤：我们需要证明$\lim_{n \to \infty} \frac{1}{n^{k+1}} = 0$。注意到$\frac{1}{n^{k+1}} = \frac{1}{n^k} \cdot \frac{1}{n}$，根据极限的乘法法则（两个收敛数列的乘积的极限等于极限的乘积），结合归纳假设和$\lim_{n \to \infty} \frac{1}{n} = 0$，可得：
  $$\lim_{n \to \infty} \frac{1}{n^{k+1}} = \lim_{n \to \infty} \frac{1}{n^k} \cdot \lim_{n \to \infty} \frac{1}{n} = 0 \cdot 0 = 0$$
  因此归纳步骤成立，由数学归纳法可知，对所有自然数$r$，$\lim_{n \to \infty} \frac{1}{n^r} = 0$。

其他可行的证明思路 #

除了归纳法，还有几种适合练习的基础证明方法：

1. 直接用ε-N定义（最核心的基础方法） #

对于任意给定的$\varepsilon > 0$，我们需要找到自然数$N$，使得当$n > N$时，$\left| \frac{1}{n^r} - 0 \right| < \varepsilon$。

解不等式$\frac{1}{n^r} < \varepsilon$，可得$n > \varepsilon^{-1/r}$。取$N = \lfloor \varepsilon^{-1/r} \rfloor + 1$（$\lfloor x \rfloor$表示不超过$x$的最大整数），那么当$n > N$时，必然有$n > \varepsilon^{{-1/r}$，从而$\frac{1}{n}r} < \varepsilon$，满足极限的定义，因此$\lim_{n \to \infty} \frac{1}{n^r} = 0$。

2. 利用夹逼准则 #

当$n \geq 1$时，因为$r$是自然数，所以$n^r \geq n$，由此可得$0 < \frac{1}{n^r} \leq \frac{1}{n}$。已知$\lim_{n \to \infty} \frac{1}{n} = 0$，根据夹逼准则：若数列$a_n \leq b_n \leq c_n$，且$\lim_{n \to \infty} a_n = \lim_{n \to \infty} c_n = L$，则$\lim_{n \to \infty} b_n = L$，因此$\lim_{n \to \infty} \frac{1}{n^r} = 0$。

3. 借助函数极限推导 #

考虑函数$f(x) = \frac{1}{x^r}$（$x > 0$），当$x \to +\infty$时，$f(x)$单调递减且趋近于0（可通过导数判断单调性，或直接分析当x增大时$x^r$趋向无穷大，倒数趋向0）。而数列$\left{ \frac{1}{n^r} \right}$是函数$f(x)$在$x$取正整数时的取值，因此数列的极限等于函数在$x \to +\infty$时的极限，即0。

内容的提问来源于stack exchange，提问作者NutmegLifestyle