WolframAlpha computational knowledge AI
n(n+1)/2