WolframAlpha computational knowledge AI
prove by induction sum of j from 1 to n = n(n+1)/2 for n>0
COMPUTING...COMPUTING...