cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A381253 Prime numbers whose constant congruence speed of tetration is greater than 1.

Original entry on oeis.org

5, 7, 43, 101, 107, 149, 151, 157, 193, 199, 251, 257, 293, 307, 349, 401, 443, 449, 457, 499, 557, 593, 599, 601, 607, 643, 701, 743, 751, 757, 857, 907, 1049, 1051, 1093, 1151, 1193, 1201, 1249, 1301, 1307, 1399, 1451, 1493, 1499, 1543, 1549, 1601, 1607, 1657
Offset: 1

Views

Author

Gabriele Di Pietro and Marco Ripà, Apr 17 2025

Keywords

Comments

The only positive integers with a constant congruence speed greater than 1 (see A373387) are necessarily congruent to 1, 7, 43, or 49 modulo 50.
As a result, 36% of positive integers have a constant congruence speed of at least 2, while 20% of primes have a constant congruence speed greater than 1. In the interval (1, 10^4), there are 1229 prime numbers, 247 of whom have a constant congruence speed of at least 2.
Moreover, as a consequence of Dirichlet's theorem on arithmetic progressions, Theorem 3 of "The congruence speed formula" (see Links) proves that, for any given positive integer k, there are infinitely many primes characterized by a constant congruence speed of (exactly) k.

Examples

			a(1) = 5 since 5 is the smallest prime number with a constant congruence speed of at least 2.
		

References

  • Marco Ripà, La strana coda della serie n^n^...^n, Trento, UNI Service, Nov 2011. ISBN 978-88-6178-789-6

Crossrefs

Also 5 together with A172469.
Union of {5}, A141927, A141932, A141941, A141946.

Programs

  • Python
    from sympy import isprime
    valid_mod_50 = {1, 7, 43, 49}
    result = [5]
    n = 6
    while len(result) < 1000:
        if isprime(n) and n % 50 in valid_mod_50:
            result.append(n)
        n += 1
    print(result)

Formula

a(1) = 5. For n >= 2, a(n) = A172469(n-1).