g は a で微分可能、 f は g(a) で微分可能とする。
このとき、 f(g(x)) は a で微分可能で、微分係数は f'(g(a)) * g'(a) であることを証明せよ。

(1) ε を任意の正の実数とするとき、 0 < |h| < ε かつ g(a + h) - g(a) = 0 となるような h が存在する場合。

このとき、 f(g(x)) は a で微分可能で、微分係数は 0 = g'(a) = f'(g(a)) * g'(a) であるから、成り立つ。

(2) 0 < |h| < ε ⇒ g(a + h) - g(a) ≠ 0 を成り立たせるような正の実数 ε が存在する場合。

[f(g(a+h))-f(g(a))]/h = [f(g(a+h))-f(g(a))]/[g(a+h)-g(a)] * [g(a+h)-g(a)]/h → f'(g(a)) * g'(a) (h → 0)

>>931
のトリックを使わずに証明できれば満足なのですが。