1Testing("Product"); 2 3Verify(Product(i,1,3,i), 6); 4Verify(Product(k,1,n,k), n!); 5Verify(Product(k,1,n,2), 2^n); 6Verify(Product(k,1,Infinity,1), 1); 7