pruebe sum(2^i, {i, 0, n}) = 2^(n+1) - 1 para n > 0 usando inducción

• Lenguaje natural
• Entrada matemática