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