estableció la frontera inferior de formula_39, donde formula_40 es una constante, asumiendo que Pformula_41NP.