用归纳法证明对于 n > 0，sum(2^i, {i, 0, n}) = 2^(n+1) - 1

糟糕！没有 JavaScript，Wolfram|Alpha 无法运行。

请启用 JavaScript。如果您不知道如何启用，请点击这里查看说明。完成后，刷新本页面即可开始使用 Wolfram|Alpha。