A lifting theorem for formal power series
Edward A. Bender · Proceedings of the American Mathematical Society · 1974
We define a class of operations on formal power series that includes practically all operations of interest. The class is closed under composition. We prove that an operation in this class vanishes for complex numbers if and only if it vanishes for functions analytic at the origin. A variety of applications of this “lifting theorem” are discussed.