n−1∑k=11√k(n−k)≥1 todos los n≥2
Basecase n=2
2−1∑k=11√k(2−k)=1≥1
Asunción
n−1∑k=11√k(n−k)≥1 mantiene para algunos n
Reclamación
n∑k=11√k(n+1−k)≥1 mantiene demasiado
Paso Suponga n es impar
n∑k=11√k(n+1−k)=1√n+1√2(n−1)+...+1√n
Entonces, para determinar cuales de esos términos es el más pequeño, se desea encontrar el máximo de k(n+1−k).
El deriviative sería n+1−2k. Por lo k=n+12, es por eso que asumimos n es extraño en este paso.
Así que nuestro pequeño plazo parece: 1√(n+12)2=2n+1
Y ya que agregamos este plazo n a veces, la suma es acotada abajo por 2n+1n=2nn+1.
A través de la inducción es muy fácil de ver, que 2nn+1>1 para todo n>1, que es todo lo que nos interesa.
Ahora, ¿cómo debo proceder para que incluso los n?