f(x) < f(x_0)