Equivalence of Definitions of Abundant Number

Theorem
The following definitions of a abundant number are equivalent:

Proof
By definition of abundance:


 * $A \left({n}\right) = \sigma \left({n}\right) - 2 n$

The result follows.