WolframAlpha computational knowledge AI
9^x < x!