sum (100 choose k)/2^100 from k = 56 to 100