Sum of Powers of Positive Integers

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

Then:

where:
 * $B_k$ are the Bernoulli numbers
 * the series terminates at $n^2$ or $n$ according to whether $n$ is odd or even.