Definition:Real Power Series