OFFSET
1,2
COMMENTS
It seems likely, but not certain, that this sequence is a permutation of the positive integers, which it is if and only if there are an infinite number of powers of 2 in the sequence.
LINKS
Ivan Neretin, Table of n, a(n) for n = 1..10000
EXAMPLE
a(6) = 12 and the highest odd divisor of 12 is 3. Among the first 6 terms of the sequence is not 4, 5, 8, 9, ... and the 3rd of these is 8, which is therefore a(7).
MATHEMATICA
Nest[Append[#, Complement[Range[Max[#] + (r = #[[-1]]/2^IntegerExponent[#[[-1]], 2])], #][[r]]] &, {1}, 69] (* Ivan Neretin, Sep 03 2018 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Leroy Quet, Dec 23 2004
EXTENSIONS
More terms from Hans Havermann, Dec 24 2004
STATUS
approved