Articles by others on the same topic (1)

An even integer is a perfect number if and only if
This forces to be a prime number, as shown under Mersenne number. It does not say that every prime exponent works, nor classify possible odd integers.[ref]
For the forward direction, put and use coprimality of and . Multiplicativity of the sum-of-divisors function and the finite geometric series give
The prime number hypothesis makes ; replacing it with a composite number changes this factor.
For a short converse outline, write with and an odd integer. The condition gives
Here is a positive integer and a proper divisor of . If , the distinct divisors alone exceed the required sum . Thus and , forcing to be prime and .