significan respectivamente que formula_20 cuando formula_21, y que formula_22 está acotado para formula_23 suficientemente grande.