sum (1-j)/(2^(j+1)), j=0..infinity