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