df-1(x) dx