OFFSET
1,2
COMMENTS
Conjecture: After 1, all terms are of the form 4u+3 (in A004767). If this could be proved, then it would refute at once the existence of both the odd perfect numbers and the quasiperfect numbers. Concentrating on the latter is probably easier, as it is known that all quasiperfect numbers must be odd squares, thus k is of the form 4u+1, in which case the condition given in A336701 that A000265(1+A000265(sigma(k))) must be equal to A000265(1+k) reduces to a simpler form, A000265(1+sigma(k)) = (1+k)/2, and as k = s^2, with s odd, so (s^2 + 1)/2 should divide 1+sigma(s^2). Does that condition allow any other solutions than s=1 ? See A337339.
LINKS
Antti Karttunen, Table of n, a(n) for n = 1..77; all terms < 2^32
Paolo Cattaneo, Sui numeri quasiperfetti, Bollettino dell’Unione Matematica Italiana, Serie 3, Vol.6(1951), n.1, p. 59-62.
P. Hagis and G. L. Cohen, Some Results Concerning Quasiperfect Numbers, J. Austral. Math. Soc. Ser. A 33, 275-286, 1982.
V. Siva Rama Prasad and C. Sunitha, On quasiperfect numbers, Notes on Number Theory and Discrete Mathematics, Vol. 23, 2017, No. 3, 73-78.
Eric Weisstein's World of Mathematics, Quasiperfect Number
MATHEMATICA
Block[{f}, f[n_] := n/2^IntegerExponent[n, 2]; Select[Range[2^20], Mod[f[1 + f[DivisorSigma[1, #]]], f[1 + #]] == 0 &] ] (* Michael De Vlieger, Aug 22 2020 *)
PROG
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Aug 02 2020
STATUS
approved