sum 1/2 k(k + 1) - n, n = 1 to k