Sum of Sequence of n by 2 to the Power of n

Theorem

 * $\displaystyle \sum_{j \mathop = 0}^n j \, 2^j = n 2^{n + 2} - \paren {n + 1} 2^{n + 1} + 2$