Real numbers/Power series/Definition