The following (interesting) assertion appears in the OeisWiki page on multiply-perfect numbers:
---------- Forwarded message ---------- From: Georgi Guninski <firstname.lastname@example.org> To: Sequence Fanatics Discussion list <email@example.com> Cc: Date: Mon, 16 Jul 2012 13:14:33 +0300 Subject: [seqfan] Re: Reference that "A027687 4-perfect numbers" is finite Thank you. Asked because an odd perfect number and infinitely mersenne primes implies 4-perfect numbers are infinite (and a lot of other 2k-perfect numbers) - take the product of the OPN and coprime to it EPN. On the other hand 4-perfect being finite and infinitely mersenne primes implies no OPN. What is the reason to believe all 4-perfect are discovered (even if they are finite)?
(This post is taken from the following SeqFan thread.)
Honestly, I cannot seem to wrap my head around the first assertion (and therefore, also the second).
Why is it that the existence of an odd perfect number and infinitely many Mersenne primes implies that there are infinitely many $4$-perfect numbers (and a lot of other $2k$-perfect numbers)?
It says "take the product of the OPN and coprime to it EPN".
However, an OPN and an EPN may not always be coprime, as a Mersenne prime (for example, $3$) may divide an OPN. (See this MSE question.)
Note: OPN = Odd Perfect Number, EPN = Even Perfect Number