[math-fun] Purported proof that there are no odd perfect numbers