WolframAlpha computational knowledge AI
sum(choose(n-1, 473)*(1/2)^n, n, 1000, 10000)