sum(k/2^k, k, y, infinity)