sum_{k=n}^1 k