Let $f$ and $g$ be power series, with $g \in O_1$. Show that $\widehat{f \circ g} \prec \hat{f} \circ \hat{g}$. Deduce that, if $f$ and $g$ have strictly positive radius of convergence, then $\rho(f \circ g) > 0$.
Let $f$ and $g$ be power series, with $g \in O_1$. Show that $\widehat{f \circ g} \prec \hat{f} \circ \hat{g}$. Deduce that, if $f$ and $g$ have strictly positive radius of convergence, then $\rho(f \circ g) > 0$.