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 A192823 #20 Aug 22 2012 00:20:44 %S A192823 1367,1373,1423,1439,2207,2237,3251,3257,3259,3299,5639,8059,12739, %T A192823 12781,12799,12809,12821,12823,12829,12907,12911,12917,12919,12953, %U A192823 13147,13163,13171,13669,13687,13691,13693,14009,14029,14057,14081,14143,31957,32183 %N A192823 5-Ramanujan primes; the interval (x/2,x] has at least n 4-Ramanujan primes for x >= a(n) but not for x = a(n)-1. %C A192823 It is conjectured that primepi(a(n)) < 50*n for large n. - T. D. Noe, Aug 26 2011 %C A192823 The sequence is only conjectural without a proof of an upper bound on a(n) (like the bound A104272(n) < prime(3*n) proved by Laishram and used in computing Ramanujan primes). - Jonathan Sondow, Aug 27 2011 %C A192823 Subsequence of the 4-Ramanujan primes A192822, by the minimality of a(n). - _Jonathan Sondow_, Aug 21 2012 %Y A192823 Cf. A104272 (Ramanujan primes), A192820, A192821, A192822 (4-Ramanujan primes), A192824. %K A192823 nonn %O A192823 1,1 %A A192823 _T. D. Noe_, Jul 11 2011 %E A192823 Definition clarified by _Jonathan Sondow_, Aug 21 2012