limx→x0(f(x0)-f(x))/(x-x0)=4,则df(x)丨x=x0=