Abstract Algebra: Theory and Applications · Problem 2.4.9

Groups — Thomas Judson

Mathematics — Abstract Algebra · mathematical-induction

Problem

Use induction to prove that

1 + 2 + 2^2 + \cdots + 2^n = 2^{n+1} - 1

for

n \in \mathbb{N}