(sum(i=90 to i=100) (100 choose i)) / 2^100