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.
%I A065308 #20 Dec 30 2024 12:54:24
%S A065308 2,2,2,3,3,5,5,7,11,13,13,17,17,19,23,29,29,31,31,37,41,43,43,47,53,
%T A065308 59,61,67,67,71,71,73,79,83,89,97,97,101,103,107,107,109,109,113,127,
%U A065308 131,131,137,139,149,151,157,157,163,167,173,179,181,181,191,191,193,197
%N A065308 a(n) = prime(n - pi(n)).
%H A065308 Harry J. Smith, <a href="/A065308/b065308.txt">Table of n, a(n) for n=1,...,1000</a>
%e A065308 For n=100, pi(100) = 25, prime(100-25) = prime(75) = 379 = a(100).
%p A065308 with(numtheory); A065308:=n->ithprime(n-pi(n)); seq(A065308(n), n=1..100); # _Wesley Ivan Hurt_, Feb 26 2014
%t A065308 Table[Prime[n - PrimePi[n]], {n, 100}] (* _Wesley Ivan Hurt_, Feb 26 2014 *)
%o A065308 (PARI) a(n) = { prime(n - primepi(n)) } \\ _Harry J. Smith_, Oct 16 2009
%Y A065308 Cf. A000040, A000720, A065309, A065310.
%K A065308 nonn
%O A065308 1,1
%A A065308 _Labos Elemer_, Oct 29 2001