Prueba: Si formula_47 es cota inferior de formula_1, se cumple formula_103.