Sum[Binomial[16, k] * (1 - (1 - 0.2533)^4)^k * ((1 - 0.2533)^4)^(16 - k), {k, 9, 16}]