Si formula_12 no tiene raíces, la función formula_19, es una función entera con la propiedad de que para cualquier número real formula_20 mayor que cero, existe un número positvo formula_16 tal que