sum_(k=0)^(x-1) k^2