sum binomial(200,n)(20/100)^n(1-20/100)^(200-n), {n,200*(25/100),200}