sum of binom (23,k) * (-1)^k / (1 - 2^(-k)) for k=1..23