Para propósitos de inducción, se me da a probar
$1 + 2(2+3+...+n) + (n+1) = (n+1)^2 - 1$ para todos $n$ en números naturales (definidos a partir de 1).
Quiero hacer el caso base de la inducción usando el número natural 1 para $n$ pero no estoy seguro de cómo enfocar la porción $(2+3+...+n)$ cuando $n = 1$ .
Gracias por la ayuda.