1,1

Only one odd freestyle perfect number is known: 198585576189, found by Descartes.

This sequence consists of perfect numbers A000396 and those which aren't, called spoof-perfect numbers A174292. Roughly said, a spoof-perfect number is a number that would be perfect if one or more of its composite factors were wrongly assumed to be prime, i.e., taken as a "spoof prime". - Daniel Forgues, Nov 15 2009 (slightly rephrased)

The right hand side of the second equation in the definition, 2n = ..., equals the sum of divisors sigma(n), if all of the f_i are distinct primes. If they aren't, there arise some ambiguities: See A174292 for further discussion. - M. F. Hasler, Jan 13 2013

R. K. Guy, Unsolved Problems in Number Theory, B1.

Heath Davison Lunt, Table of n, a(n) for n = 1..478

OEIS wiki, Freestyle perfect numbers.

n = 60 = (3^1)*(4^1)*(5^1), s = 120 = [(3^2-1)*(4^2-1)*(5^2-1)]/[(3-1)*(4-1)*(5-1)]. s-n = 120-60 = n. So 60 is in the sequence.

r[s_, n_, f_] := Catch[If[n == 1, s == 1, Block[{p, e}, Do[e = 1; While[ Mod[n, p^e] == 0, r[s*(p^(e+1) - 1)/(p-1), n/p^e, p] && Throw@True; e++], {p, Select[Divisors@n, f < # &]}]]; False]];

spoofQ[n_] := r[1/2/n, n, 1] && DivisorSigma[-1, n] != 2;

perfectQ[n_] := DivisorSigma[1, n] == 2*n;

Select[Range[10^4], spoofQ[#] || perfectQ[#]&] (* Jean-François Alcover, May 16 2017, using Giovanni Resta's code for A174292 *)

Cf. A000396, A174292.

Sequence in context: A317478 A353901 A081537 * A033588 A014635 A227970

Adjacent sequences: A058004 A058005 A058006 * A058008 A058009 A058010

nonn,nice

Naohiro Nomoto, Nov 13 2000

a(41)-a(45) from Amiram Eldar, Dec 27 2018

approved