WolframAlpha computational knowledge AI
inequalities for the euler totient function