WolframAlpha computational knowledge AI
100 n^2 < 2^n