Computing...

Input interpretation:

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

Contact Pro Premium Expert Support