Consultas generales

El paso base se verifica con $m = 5$, no es difícil de ver. ($32 > 26$).

Hipótesis: $2^k > k^2 + 1$.

Multiplicando por $2$: $2^{k+1} > 2(k^2 + 1) \rightarrow 2^(k+1) > 2k^2 + 2 > 2k^2 > k^2 + 2k + 1 = (k+1)^2$. Probar la desigualdad $2k^2 > k^2 + 2k + 1$ tampoco es difícil y no causa problemas con el paso base original ($k = 5$).