product n=1 to inf 1