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