Use standard summation formulas (#440)

Use standard summation formulas (#440)

Apply ∑i=n(n+1)2\sum i = \frac{n(n+1)}{2}, ∑i2=n(n+1)(2n+1)6\sum i^2 = \frac{n(n+1)(2n+1)}{6}, etc.