Luego no existe formula_17 cumpliendo formula_22 ya que de existir, sería cota superior de formula_16 y hemos dicho que formula_16 no está acotado superiormente.