# Greetings from The On-Line Encyclopedia of Integer Sequences! http://oeis.org/
Search: id:a246491
Showing 1-1 of 1
%I A246491 #32 Aug 02 2024 05:00:48
%S A246491 3,5,11,23,47,283,719,1439,2879,34549,138197,1266767,14920303,
%T A246491 36449279,377982107
%N A246491 Smallest k such that 3^^n is not congruent to 3^^(n-1) mod k, where 3^^n denotes the power tower 3^3^...^3 (in which 3 appears n times).
%C A246491 This sequence is a member of an interesting class of sequences defined by the rule, "Smallest k such that b^^n is not congruent to b^^(n-1) mod k, where b^^n denotes the power tower b^b^...^b (in which b appears n times)," for some constant b. Different choices for b, with b>=2, determine a sequence of this class. The first sequence of this class is A027763, which uses b=2. This is the sequence for b=3. Adjacent sequences follow for b=4 through b=9.
%C A246491 Sequences of this class can contain only terms that are either prime numbers or powers of primes (A000961).
%C A246491 Powers of three (A000244) are commonplace as terms in sequences of this class, occurring significantly more often than powers of other primes.
%C A246491 For successive values of b, the sequence of first terms of all sequences of this class is A007978.
%C A246491 It appears that the sequence for b=x contains the term y, if and only if the sequence for b=x+A003418(y) also contains the term y, where A003418(y) is the least common multiple of all the integers from 1 to y. Can this be proved?
%C A246491 Sequences of this class generally share many terms with other sequences of this class, although each appears to be unique. These individual sequences are very similar to each other, so much so that among the first 7000 of them, only 120 distinct values less than 50000 occur (compare that to the 5217 available primes or powers of primes that are less than 50000.)
%C A246491 Sequences of this class tend to share many terms with A056637, the least prime of class n-.
%H A246491 Wayne VanWeerthuizen, Sage/Cython source code for all sequences of this class.
%H A246491 Wayne VanWeerthuizen, Initial terms of sequences of this class for b=2..10001
%e A246491 (3^^3) mod 11 = 9, (3^^2) mod 11 = 5. 11 is the least whole number for which this is true, thus a(3)=11.
%o A246491 (Sage, cython) Use linked source above with this command: find_k_values(3,1,1)
%Y A246491 Cf. A027763, A246492, A246493, A246494, A246495, A246496, A246497
%Y A246491 Large overlap with A056637.
%K A246491 nonn,more
%O A246491 1,1
%A A246491 _Wayne VanWeerthuizen_, Aug 27 2014
# Content is available under The OEIS End-User License Agreement: http://oeis.org/LICENSE