sum_{k=0}^n(n-k)