"Sea" formula_39 "un algoritmo que devuelve una sucesión de números naturales" formula_6 "tal que la ecuación correspondiente"