OFFSET
1,1
COMMENTS
For a fixed integer n > 1, the radix-n congruence speed of every integer m > 1 not a multiple of n stabilizes (to a positive integer constant) if and only if n is squarefree (see A373387 for the radix-10 definition and A390598 for the constant congruence speed in radix-6).
Furthermore, for every integer n >= 1, a(n) exists (and, generally, 2 <= a(n) <= A013929(n)/2 holds) since a(n) cannot exceed the product of the distinct prime factors of A013929(n) (which, by definition, only consists of nonsquarefree terms). Indeed, in the radix-A013929(n) numeral system, the tetration a(n)^^k, for k = 2,3,4,... will eventually be congruent to 0 modulo A013929(n), and hence the radix-A013929(n) congruence speed of a(n) will rapidly accelerate for each unit increment of k.
REFERENCES
Marco Ripà, La strana coda della serie n^n^...^n, Trento, UNI Service, Nov 2011. ISBN 978-88-6178-789-6.
LINKS
Gabriele Di Pietro, Table of n, a(n) for n = 1..194
Marco Ripà, The congruence speed formula, Notes on Number Theory and Discrete Mathematics, 2021, 27(4), 43—61.
Marco Ripà and Gabriele Di Pietro, A Compact Notation for Peculiar Properties Characterizing Integer Tetration, Zenodo, 2025.
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.
Wikipedia, Tetration.
FORMULA
EXAMPLE
a(4) = 6 since the congruence speed of 6 does not converge to a fixed value in the radix-12 numeral system (it equals 0 at height 1, 3 at height 2, 23325 at height 3, and so forth).
CROSSREFS
KEYWORD
nonn,hard
AUTHOR
Marco Ripà and Gabriele Di Pietro, Dec 07 2025
STATUS
approved
