OFFSET
-1,7
COMMENTS
A sufficient but not necessary condition for having a constant value of the convergence speed of a tetration base n that is not a multiple of 10 (see A317905) is that the height of the hyperexponent is greater than or equal to tilde(v(a))+2, where tilde(v(a)) := v_5(a-1) iff a == 1 (mod 5), v_5(a^2+1) iff a == {2, 3} (mod 5), v_5(a+1) iff a == 4 (mod 5), v_2(a^2-1)-1 iff a == 5 (mod 10), where v_2(x) = A007814(x) and v_5(x) = A112765(x) are the 2-adic and 5-adic valuations, respectively (see "Number of stable digits of any integer tetration", p. 447, Definition 2.1, in Links).
LINKS
Marco Ripà, Congruence speed of tetration bases ending with 0, arXiv:2402.07929 [math.NT], 2024.
Marco Ripà and Luca Onnis, Number of stable digits of any integer tetration, Notes on Number Theory and Discrete Mathematics, 2022, 28(3), 441-457.
Jorge Jiménez Urroz and José Luis Andrés Yebra, On the Equation a^x == x (mod b^n), Journal of Integer Sequences, Article 09.8.8, 2009.
Wikipedia, Tetration.
CROSSREFS
KEYWORD
nonn,base
AUTHOR
Marco Ripà, Apr 02 2024
STATUS
approved