prod from j=1 to infty of (1-[1/(53