Faulhaber's Formula

Theorem
Let $n, p \in \Z_{>0}$ be (strictly) positive integers.

Then:

where:
 * $B_i$ denotes the $i$th Bernoulli number.

Proof
Let $x \ge 0$.

We also have:

Equating coefficients: