from 東大1S1数理科学基礎:微分積分

関数がx=x_0において微分可能であることの定義

「\lim_{x \to x_0}\frac{f(x)-f(x_0)}{x-x_0}がどんな小さいx - x_0<δでも成り立つ」