導関数f'(x)が存在することが前提 dfとdx は後付け定義
df/dxは導関数の記号