Past exam of the algebra, analysis and differential equations II course of the University of Oxford / 2009 / Analysis / 6 / c / Solution

Choose a small positively oriented circle $|w|=\rho$ in $U$ within the convergence disk of the inverse series. Cauchy's coefficient formula givesLet $\gamma =g(\{|w|=\rho \})$. The biholomorphism property makes it a simple positively oriented closed curve about zero. Under $w=f(z)$, $g(w)=z$ and $dw=f^{\prime }(z)dz$, soThe last equality is (a). Apply (b), givingThis is the local Lagrange inversion theorem; the simple zero ensures that the expression being differentiated has a removable singularity and a nonzero value at zero.