sum (k/2^k) k from 0 to infinity