>>655
f'(0)＝lim_[h→0] ( f(h)−f(0) )/h
⇒ ∀α>0 ∃δ>0 ∀h∈C [ 0<|h|<δ → | ( f(h)−f(0) )/h − f'(0) |< α ]
β＝( f(h)−f(0) )/h − f'(0) とすれば |β|< α で
|f(h)|＝|f(0)＋h(β＋f'(0))|≦|f(0)|＋δ(α＋|f'(0)|)


sin は級数展開して評価。