WolframAlpha computational knowledge AI
1.0 - sum(choose(1000,k)/2^1000, k, 469, 531)