定理1.3の証明に使用されている極限の式は何か？
関数 f(x)が x=a で微分可能であるための必要十分条件は、極限

lim_(x→a) [f(x) - f(a)] / (x-a)

が存在し、有限値となることである。

定理1.3：微分可能性と連続性

関数 f(x)が x=a で微分可能であるならば、その点において連続である。

証明：

微分可能性より、

lim_(x→a) [f(x) - f(a)] / (x-a) = L
定理1.3の証明に使用されている極限の式は、

lim_(x→a) [f(x) - f(a)] / (x-a) = L

である。