Luego no existe formula_17 cumpliendo formula_76 ya que de existir, sería cota inferior de formula_16 y hemos dicho que formula_16 no está acotado inferiormente.