We finally remark that all of the aforementioned results are stated analytically but proven using essentially algebraic/combinatorial techniques. Thus a) it is entirely possible that the analytical conditions we impose for convergence can be relaxed; and b) they all have formal power series analogues which we do not discuss but see, e.g., [1]} for a discussion of this formal aspect.
