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.

A016104 2^2^2^ ... 2^w (with n 2's), where w = 1.92878... = A086238.

Original entry on oeis.org

1, 3, 13, 16381
Offset: 0

Views

Author

Keywords

Comments

w is uniquely defined as the largest value such that for all n>0, a(n) is prime. - Charles R Greathouse IV, Oct 25 2006
Wright's paper uses this as an example, although the sequence is not well-defined there. The next term is probably 2^16382-35411, a 4932-digit prp. - Charles R Greathouse IV, Oct 25 2006 [Update March 2019: Samuel S. Wagstaff, Jr proves the primality of a(4), see the Baillie link for details. - Charles R Greathouse IV, Mar 27 2019]

References

  • Paulo Ribenboim, The Little Book of Bigger Primes, Springer-Verlag NY 2004. See pp. 137-138.

Crossrefs

Cf. A086238.

Formula

a(0) = 1, a(n) = the greatest prime less than 2^(a(n-1)+1). - Charles R Greathouse IV, Oct 25 2006