x_0>x