sum{(13 choose n) * 0.25 ^ n * 0.75 ^ (13-n)}, for n = 8 to 13