prod (1-1/2^i), i=1..infty