Definition:Abundant Number