Suppose one has a proof of the Lagrange Inversion formula in the case for power series with some nonzero radius of convergence (that is, power series which actually describe analytic functions in some neighborhood).
Is there some argument that can show, without too much extra work, that the Lagrange Inversion formula also holds for arbitrary formal power series (that is, even when the radius of convergence for the power series is zero)?