WolframAlpha computational knowledge AI
show with induction 2n + 7 < (n + 7)^2 where n >= 1