Wolfram|Alpha

Computing...

Input interpretation:

prove | sum_(j=1)^n j = 1\/2 n (n + 1) | method | mathematical induction\nassuming | n>0


Result:

sum_(j=1)^n j = 1\/2 n (n + 1) for n>0 and n element Z

ComputingComputing...