Every multiple of an abundant number is abundant. For example, every multiple of 6 greater than 6 is abundant because 1 + \tfrac{n}{2} + \tfrac{n}{3} + \tfrac{n}{6} = n + 1. An abundant number that is not the multiple of an abundant number or perfect number (i.e., whose proper divisors are all deficient) is called a
primitive abundant number. Unlike for perfect numbers,
even and odd abundant numbers are known to exist. The smallest odd abundant number is 945. Consequently, infinitely many abundant numbers exist with each
parity. The smallest abundant number that is not divisible by 2 or by 3 is 5391411025; its distinct
prime factors are 5, 7, 11, 13, 17, 19, 23, and 29. An algorithm given by Iannucci in 2005 shows how to find the smallest abundant number not divisible by the first
k primes . If A(k) represents the smallest abundant number not divisible by the first
k primes then for all \epsilon>0 we have (1-\epsilon)(k\ln k)^{2-\epsilon} for sufficiently large
k. The set of abundant numbers has a non-zero
natural density: that is, as grows large, the fraction of the natural numbers less than that are abundant approaches a constant. This limiting fraction lies between 0.2476171 and 0.2476475. The first pair of consecutive abundant numbers is (5775, 5776), and the first consecutive triple is (171078830, 171078831, 171078832) . Let E(n) be the length of the longest run of consecutive abundant numbers not exceeding n.
Paul Erdős (1935) showed that there exists two constants c_1, c_2 such that c_1\log\log\log n \le E(n) \le c_2\log\log\log n for all sufficiently large n. As a matter of fact, the limit \lim_{n\to\infty}\dfrac{E(n)}{\log\log\log n} exists, with value lying between 3.24 and 3.54. Every
integer greater than 20161 can be written as the sum of two abundant numbers. The largest even number that is not the sum of two abundant numbers is 46. ==Related concepts==