product from n=0 to infinity of (1+2^(-n))