x_0 > 0