sum k / 2^k, k from 1 to infinity