OFFSET
1,1
COMMENTS
318 is the least number k whose repeated iteration of the mapping k -> A001615(k) - k yields an unbounded sequence. Since t(m^j * n) = m^j * t(n) if m|n, then if in the sequence a_0 = k, a_1 = t(k), a_2 = t(t(k))... there is a term a_{i1} = m^j * a_0 such that m|k and j > 0 then a_{i+i1} = m^j * a_i for all i and thus the sequence is unbounded. Since a(13)=9870, after 19 iterations a(32) = 27 * 9870, 27 = 3^3 and 3|9870 then a(n+19) = 27 * a(n) for n >= 13.
REFERENCES
Jean-Marie De Koninck, Those Fascinating Numbers, Amer. Math. Soc., 2009, page 71, entry 318.
LINKS
Amiram Eldar, Table of n, a(n) for n = 1..10000
Kevin Brown and Charles Vanden Eynden, Pseudo-aliquot Sequences, Solution to Problem 10323, The American Mathematical Monthly, Volume 103, No. 8 (1996), pp. 697-698.
David E. Penney and Carl Pomerance, Problem 10323, The American Mathematical Monthly, Volume 100, No. 7 (1993), p. 688.
MATHEMATICA
t[1] = 0; t[n_] := (Times @@ (1 + 1/Transpose[FactorInteger[n]][[1]]) - 1)*n; NestList[t, 318, 40]
CROSSREFS
KEYWORD
nonn
AUTHOR
Amiram Eldar, Jan 11 2019
STATUS
approved