1+p1≤plσ(pl)=p−1p−pl1<p−1p,
(2k+1−1)(1+p1)≤plσ(n)=2k+1−pl2<(2k+1−1)p−1p.
By the first inequality, (2k+1−1)(1+1/p)<2k+1, so p>2k+1−1, i.e., p≥2k+1+1 since p is odd. On the other hand, p<2k+1+2(p−1)/pl, by the second inequality, so 2(p−1)>pl, and consequently l=1 and p=2k+1+1.
To rule out the case n=pkql, where p and q are distinct odd primes, and k and l are positive integers, write
2−n2=nσ(n)=pkσ(pk)⋅qlσ(ql)<p−1p⋅q−1q.
Alternatively, but equivalently,
p−11+q−11+(p−1)(q−1)1+n2>1,
so min(p,q)=3, say p=3. Then 3/(q−1)+4/n>1, and it follows that q=5 and k=l=1, i.e., n=15 which does not satisfy the condition σ(n)=2n−2. This completes the proof.