A positive integer whose proper-divisor sum is smaller than itself; equivalently, its sum-of-divisors function satisfies . For example, ; also .
A deficient number is a positive integer \( n \) for which the sum of its proper divisors (excluding itself) is less than \( n \).
New to topics? Read the docs here!