sum(i/2^i+(1-1/2^i)(log(1/(1-1/2^i))/log(2)), i, 1, inf)