Theorem T56 ∑k=1nk2=13n(n+12)(n+1)\sum_{k=1}^n k^2 = \tfrac{1}{3} n (n + \tfrac{1}{2}) (n + 1) k=1∑nk2=31n(n+21)(n+1) notation-integer-finite-summation