WolframAlpha computational knowledge AI
fewer than 18 heads in 40 tosses