power series convergence