(cos(x)-1)/x → 0 (x → 0)を証明する

初等関数と微分・積分 (アナログ・テクノロジ・シリーズ), p.193

前回証明したsin(x)/x → 1 (x → 0)を用いて証明する。0/0という不定形にはならず0に収束する。