Call a natural number $n$ “flawed” if its aliquot sum (the sum of its factors less than itself) is $n-1$. Show that the set of flawed numbers is equivalent to the set of perfect powers of $2$.
Experimentally speaking, I wrote a little Python program that verified my conjecture up to $2^{15}$, but I am aware that that is by no means the same thing as a proof.