Estoy intentando resolver una prueba previa para un examen, y no hay soluciones. El problema que estoy tratando de resolver es
Si $n$ es un número natural, entonces $1 + 2 + 2^2 + 2+3 + ... + 2^n = 2^{n+1} -1$
$$\forall n \in\mathbb N,\,\sum\limits_{j=0}^n{2^j} = 2^{n+1} - 1$$
Estoy bastante seguro de que esto es una prueba por inducción, pero sólo puedo llegar hasta aquí.
Dejemos que $P(n)$ sea $\sum\limits_{j=0}^n{2^j} = 2^{n+1} - 1$
Prueba $P(1)$ :
$3 = 3$ , Cierto.
Prueba $\forall n \in\mathbb N,\,P(n) \implies P(n+1)$ : Supongamos que $n \in \mathbb N$
Entonces, $n = 0 \lor n > 0$
Caso $1$ : Supongamos que $n = 0$ :
Entonces $1 = 1$ , Cierto.
Caso $2$ : Supongamos que $n > 0$ :
... Estoy atascado probando realmente que $P(n) \implies P(n + l)$