sum_(k=1000)^1 k