Parece la misma prueba que GAVD, pero sin la notación sigma. Tampoco utilicé su lema explícitamente.
Sea $P(n)$ sea la afirmación de que $1^n + 2^n + 3^n + \dots + n^n < (n+1)^n$ . Entonces $P(1)$ es $1 < 2$ lo cual es definitivamente cierto.
Supongamos que $P(k)$ es cierto para algunos $k$ . Es decir, supongamos $$ 1^k + 2^k + \dots + k^k < (k+1)^k $$ Queremos mostrar $P(k+1)$ es cierto. Ahora \begin{align*} 1^{k+1} + 2^{k+1} + 3^{k+1} + \dots + k^{k+1} + (k+1)^{k+1} &\leq(k+1)1^k + (k+1)2^k + \dots + (k+1)k^k \\&\quad\quad+ (k+1)(k+1)^k \\ &= (k+1)\left(1^k + 2^k + \dots + k^k + (k+1)^k\right) \\ &\stackrel{(*)}{\leq} (k+1)\left((k+1)^k + (k+1)^k\right) = 2(k+1)^{k+1} \end{align*} El punto marcado $(*)$ es donde utilizamos la hipótesis inductiva. Dado que $2 < k+1$ tenemos $$ 1^{k+1} + 2^{k+1} + 3^{k+1} + \dots + k^{k+1} + (k+1)^{k+1} \leq (k+1)^{k+2} $$ que establece que $P(k+1)$ es cierto.
Por lo tanto, por inducción, $P(n)$ es cierto para todos $n$ .