sum_(k=n) ^k=1 k