WolframAlpha computational knowledge AI
prod_(k=1)^n k^2