OFFSET
1,1
COMMENTS
"Lexicographically earliest injective sequence" means that a(n+1) is the least positive integer not occurring earlier with the given property.
For n>3 it appears that a(n) is either 2*n, n+1 or n+2.
LINKS
Lars Blomberg, Table of n, a(n) for n = 1..9999
E. Angelini, a(n) divides a(a(n)), Seqfan (Apr 11 2015)
EXAMPLE
a(1)=2, a(a(1))=a(2)=4, and 2 divides 4.
a(8)=16, a(a(8))=a(16)=32, and 8 divides 32.
CROSSREFS
KEYWORD
nonn
AUTHOR
Eric Angelini and Lars Blomberg, May 11 2015
STATUS
approved