Sea formula_1 un número real y formula_2 un entero positivo.