Source: https://www.parfenoff.org/pdf/Term_S/analyse/Term_S_Raisonnement_par_reccurrence.pdf