Entrada: Un número natural formula_2