How do I go about proving that the composition of formal power series is associative?
I've tried proving the result directly, but the resulting expressions are quite unwieldy. Currently, I'm trying to make use of the topology on $\mathbb{C}[[x]]$, but I can't quite get it to work.
More precisely, I want to prove that if $g(0)=0$ and $h(0)=0$, then $f\circ(g\circ h)=(f\circ g)\circ h$, where $f\circ g(x) :=\sum_{n=0}^\infty f_n (g(x))^n.$