sum k/2^k