se cumple que y es igual o menor que el valor de f(x) para x, es