OFFSET
1,2
COMMENTS
The existence of a(n) is proven in Lemma 1.2(a) of the article "The first occurrence of a number in Gijswijt's sequence". There, it is called t^{(1)}(n). In this article, a formula for the numbers t^{(m)}(n) is given. It looks like a tower of exponents and can be found in Theorem 6.20. This formula is then used to find a formula for the first occurrence of an integer n in Gijswijt's sequence, which is A091409(n).
The value of a(5) is calculated in Subsection 8.2 of the same article.
The value of a(6) is larger than 10^(10^100), so it would be impossible to include here.
LINKS
Levi van de Pol, The first occurrence of a number in Gijswijt's sequence, arXiv:2209.04657 [math.CO], 2022.
CROSSREFS
KEYWORD
nonn
AUTHOR
Levi van de Pol, Sep 10 2022
STATUS
approved