prod s f is the product of f x as x ranges over the elements of the finite set s.
Gauss' summation formula