Demuestra por inducción que a_n = 2^n - 1 satisface a_1 = 1 ,