sum(choose(1000,k)*(1/2)^1000, k, 0, 474)