Proof of the arithmetic series sum