Sum of Sequence of Fourth Powers

Theorem

 * $\displaystyle \sum_{k \mathop = 0}^n k^4 = \dfrac {\left({n + 1}\right) n \left({n + \frac 1 2}\right) \left({3 n^2 + 3 n - 1}\right)} {15}$

Proof
By definition of binomial coefficient:

So: