Esta pregunta se hizo en otro lugar, pero estoy teniendo problemas con el álgebra en el paso inductivo. Y si no te importa, hágamelo saber si algo más parece descaradamente mal también.
Hasta ahora he :
Supongamos que el predicado $P(n)$ donde $n \le 3^\frac{n}3$ . Demostraremos que esto es cierto para cada $n\ge 0$ mediante inducción fuerte. Base: $P(0)= 0 \le 1$ , $P(1)= 1\le 3^\frac13$ , $P(2)= 2\le3^\frac23$ , $P(3)= 3=3$ se mantiene para los cuatro primeros números
Paso inductivo: Sea $n=k$ . Supongamos que $P(k)$ es verdadera cuando $k$ es $3 \le i \le k$ y $i$ siendo algún número entero menor que $k$ . Demostraremos que esto también es válido para el $k+1$ caso: $4 + 5 + ... + k + (k+1) \le 3^\frac{k+1}3$ .
Utilizando el álgebra: $-(k+1) \le 3^\frac13 * 3^\frac{k}3$
$-3^{-\frac13}*(k+1) \le 3^\frac{k}3$
$-3^{-\frac13}*(k+1) \le k$ (sustituyendo $P(k)$ volver a entrar)
atascado aquí...