Arithmetic Series formula proof