On convergent series expansions for solutions of nonlinear ordinary differential equations

We consider a large class of nonlinear ordinary differential equations of arbitrary order with coefficients in the form of power series that converge in a neighborhood of the origin. There are known power-geometry methods and algorithms based on them for the computation of power-logarithmic series (Dulac series) that formally satisfy such equations. We prove a sufficient condition for the convergence of such formal solutions.