Ahí tenemos el resultado, cuando formula_9 ≤ formula_10