WolframAlpha computational knowledge AI
prob 3 <= x <= 7 for x binomial with n=10 and p=0.5