sum_(k=3)^1 k