The chain rule. If $g$ is a function that is differentiable at $x$ and $f$ is a function that is differentiable at $g(x)$, then $f \circ g$ is differentiable at $x$, and $(f \circ g)'(x) = f'(g(x))g'(x).$
Question: I know the definition of the little-o notation. I also know that "$f$ is differentiable at $x$ $\iff$ there exists a real number $f'(x)$ such that $f(x+h) = f(x) + f'(x)h + o(h)$ as $h \rightarrow 0$". But could someone show how to give an alternative proof of the chain rule using the little-o notation? (I think I am stuck at understanding the algebraic properties of the little-o notation.) Also, is it possible to give an alternative proof of the inverse function rule using the little-o notation? Thanks in advance!