sum_(k=1)^n k^7