すべてのδより大きいΔxをとって定義できなくしても
すべてのΔxより大きいδをとって定義をすればおk