WolframAlpha computational knowledge AI
prove sum(2^i, {i, 0, n}) = 2^(n+1) - 1 for n > 0 with induction