df(x_0)