sum((n+1+(n-2)k-k^2)/2) k from 0 to n-1