sum_{k=5}^1 k