WolframAlpha computational knowledge AI
n(n-1)/2 - n +1 <= 3n - 6