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