Es decir, el valor de formula_5 es siempre igual o mayor que el valor de formula_6.