Sea formula_1 definida para todo formula_2 real, con formula_3 para formula_4, y de orden exponencial formula_5, es decir que satisfaga: