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