demuestra por inducción que suma 1/k desde k=1 hasta 2^n >= 1 + n/2 para n>=0

• Lenguaje natural
• Entrada matemática