Demuestra por inducción que sum _(k=1)^n k = n(n+1)/2