A positive integer whose proper-divisor sum exceeds itself; equivalently, its sum-of-divisors function satisfies . For example, .
An **abundant number** is a positive integer for which the sum of its proper divisors (the positive divisors excluding the number itself) is greater than the number itself.
New to topics? Read the docs here!