WolframAlpha computational knowledge AI
prob 0 <= x <= 499 for x binomial with n=1000 and p=0.55