Sea formula_5 una cota inferior de formula_1, supongamos que formula_5 es único.