The square of a finite sum can be expanded into a double sum, like (fake latex):
(sum_i v_i)^2 = sum_i sum_j (v_i*v_j)
with respective lower and upper bounds.
