WolframAlpha 計算知能 AI
n > 0のときに Σ(2^i, {i, 0, n}) = 2^(n+1) - 1 であることを数学的帰納法を使って証明