This the product analogue of Summation.