つまり

YN> M> dy を f'(x)・△x と定義してシマッタ

としても Δx ＝ x_1−x とはしなければ，
すなわち Δx が x の関数などと考えなければ
（「dy=f'(x)・Δx」のどこにもそんな前提はないですよね）
高階導関数はちゃんと定義できますよね。