Definition:Radius of Convergence of Real Power Series