一道数学归纳法的题目：
求证：对于 ∀ n ∈ N + \forall n \in N_+ ∀n∈N+， n + 1 n ! n < e \frac{n+1}{\sqrt[n]{n!}}<e nn!n+1<e。
原式等价于： ( n + 1 ) n < n ! ⋅ e n (n+1)^n<n!\cdot e^n (n+1)n<n!⋅en
使用数学归纳法进行证明。
①当 n = 1 n=1 n=1 时， 2 < e 2<e 2<e 显然成立。
②当 2 ≤ n 2\le n 2≤n 时，需证明当 ( n + 1 ) n < n ! ⋅ e n (n+1)^n<n!\cdot e^n (n+1)n<n!⋅en 成立时， ( n + 2 ) n + 1 < ( n + 1 ) ! ⋅ e n + 1 (n+2)^{n+1}<(n+1)!\cdot e^{n+1} (n+2)n+1<(n+1)!⋅en+1 成立。
先用原式进行放缩：
( n + 1 ) ! e n + 1 = n ! e n ( n + 1 ) e > ( n + 1 ) n ( n + 1 ) e = ( n + 1 ) n + 1 e \begin{aligned} &\quad(n+1)!e^{n+1} \\ & =n!e^n(n+1)e\\ & >(n+1)^n(n+1)e\\ & =(n+1)^{n+1}e\end{aligned} (n+1)!en+1=n!en(n+1)e>(n+1)n(n+1)e=(n+1)n+1e
现在需证明： ( n + 1 ) n + 1 e > ( n + 2 ) n + 1 (n+1)^{n+1}e>(n+2)^{n+1} (n+1)n+1e>(n+2)n+1。
看到两边的指数上都有 n + 1 n+1 n+1，考虑相除比较大小：
( n + 1 ) n + 1 e ( n + 2 ) n + 1 = ( n + 1 n + 2 ) n + 1 e = ( n + 2 − 1 n + 2 ) n + 1 e = ( 1 − 1 n + 2 ) n + 1 e > 2 3 e > 1 \begin{aligned} &\quad \frac{(n+1)^{n+1}e}{(n+2)^{n+1}} \\& =(\frac{n+1}{n+2})^{n+1} e \\& =(\frac{n+2-1}{n+2})^{n+1} e \\& =(1-\frac{1}{n+2})^{n+1} e \\& >\frac{2}{3} e\\& >1\end{aligned} (n+2)n+1(n+1)n+1e=(n+2n+1)n+1e=(n+2n+2−1)n+1e=(1−n+21)n+1e>32e>1
所以 ( n + 1 ) n + 1 e > ( n + 2 ) n + 1 (n+1)^{n+1}e>(n+2)^{n+1} (n+1)n+1e>(n+2)n+1 成立，即原式成立。
768
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
