formula_5, lo que es válido, para cualquier valor natural de n (valor entero, no negativo, ni nulo).