An even perfect number is an even positive integer
whose positive proper divisors sum to
. Equivalently, its divisor
function satisfies
.
The Euclid-Euler theorem states that the even perfect numbers are exactly the numbers for which
is a Mersenne prime
(Dickson 2005, p. 19).
All known perfect numbers are even, and Ochem and Rao (2012) have shown that any odd perfect number
must be larger than .