I am trying to solve a previous test for an exam, and there are no solutions. The problem I am trying to solve is
If $n$ is a natural number, then $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$$
I am pretty sure this is a proof by induction, but I can only get so far.
Let $P(n)$ be $\sum\limits_{j=0}^n{2^j} = 2^{n+1} - 1$
Prove $P(1)$:
$3 = 3$, True.
Prove $\forall n \in\mathbb N,\,P(n) \implies P(n+1)$: Assume $n \in \mathbb N$
Then, $n = 0 \lor n > 0$
Case $1$: Assume $n = 0$:
Then $1 = 1$, True.
Case $2$: Assume $n > 0$:
... I am stuck actually proving that $P(n) \implies P(n + l)$