Y la pregunta del millón es... ¿Puedo resolver esto tomando \(2^n = n\) de manera tal que si pruebo que
\(\sum_{1}^{n} \frac{1}{n+j} > \frac{1}{2}\,\, II)\) es verdadero para todo \(n>1\) entonces sea verdadero en particular para los naturales de la forma \(2^n\, / \,n>1\) y luego probar el caso \(n=1\) aparte??
teniendo en cuenta que en \(I), n=1\) verifica la desigualdad.
Ja! Es cierto, esa cota sirve y es mejor. De todas maneras, el tema de sustituir el índice 2^n por n, estaría bueno ver si es válido en general. Pasa que vi un caso así en el libro teórico y me quedé con la duda de cómo usarlo en inducción.