sum of 2^(k-j)(1-binom(2^k-2^(j+1),n)/binom(2^k,n)) for j=0..k where k=10,n=10