sum from i = 0 to 40 (100 choose 40-i)/(2^100)