Sum[Binomial[64, k] * (.2533)^k * (1-.2533)^(64- k), {k, 9, 64}]