Proof of sum of first n terms, Sn