sum binomial(25, k)(1/4)^k(3/4)^(25-k) for k = 16 to 25