a(n) <= 2^n because A296062(2^n) = n.
Table of n, a(n) for n=0..26.
For n = 8, A296062(a(8)) = A296062(18) = 8, and A296062(k) != 8 for all k < 18 = a(8).
Cf. A296062, A325942.
Sequence in context: A100675 A196730 A325942 * A165569 A136803 A035268
Adjacent sequences: A325941 A325942 A325943 * A325945 A325946 A325947
Peter Kagey, Sep 09 2019