OFFSET
1,2
COMMENTS
Invented by the HR concept formation program.
Indices of 0's in A036431. - Sean A. Irvine, Nov 01 2020
LINKS
Amiram Eldar, Table of n, a(n) for n = 1..10000
Simon Colton, Refactorable Numbers - A Machine Invention, J. Integer Sequences, Vol. 2 (1999), Article 99.1.2.
Simon Colton, HR - Automatic Theory Formation in Pure Mathematics.
EXAMPLE
None of 1,2,3,4,5,6,7 are such that k+tau(k)=8, so 8 is in the sequence.
MATHEMATICA
m = 200; Complement[Range[m], Table[n + DivisorSigma[0, n], {n, 1, m}]] (* Amiram Eldar, Nov 10 2021 *)
PROG
(PARI) isok(n) = sum(k=1, n, k+numdiv(k) != n) == n; \\ Michel Marcus, Dec 08 2014
CROSSREFS
KEYWORD
nonn
AUTHOR
Simon Colton (simonco(AT)cs.york.ac.uk)
STATUS
approved