Wilson’s primeth recurrence

Define $p_x$ to be the $x$-th prime number (for example, $p_{15}=47$). Then define the recurrence $a_0=1$ and $a_n=p_{a_{n-1}}$ for $n>0$. This is Wilson’s primeth recurrence which results in the sequence 1, 2, 3, 5, 11, 31, 127, 709, 5381, 52711, 648391, 9737333, 174440041, … (A7097 in Sloane’s OEIS). Given the prime counting function $\pi (x)$, the recurrence should check out thus: $\pi (a_n)=a_{n-1}$.

It suffices to mention Euclid’s proof that there are infinitely many primes to show that this recurrence is also infinite. However, the terms of this recurrence quickly become large enough to show the limitations of today’s computational devices. Robert G. Wilson provided Sloane with just 15 terms. The last of those was shown to be erroneous by Paul Zimmerman, who was able to extend the known sequence by just two more terms. In 2007, David Baugh discovered two more terms.