OFFSET
1,3
COMMENTS
Because, in process A392093, the differences are re-sorted at each iteration and used exactly once, the remaining number strictly decreases while staying positive. Hence this process terminates at 1, and a(n) is well defined.
LINKS
Felix Huber, Table of n, a(n) for n = 1..10000
FORMULA
Trivial upper bound: a(n) < n.
a(2^k) = 1 for positive integers k.
EXAMPLE
MAPLE
MATHEMATICA
A392093[n_] := First[NestWhile[Union[Differences[#]] &, Divisors[n], Length[#] > 1 &]];
Array[A392094, 100] (* Paolo Xausa, Jan 20 2026 *)
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Felix Huber, Jan 16 2026
STATUS
approved
