sum (1/2)^{2^n} for n=0 to infinity