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 A161622 #12 Sep 08 2022 08:45:45 %S A161622 2,2,5,5,3,7,7,7,8,9,9,2,9,5,13,12,11,2,13,2,2,13,5,17,15,15,17,17,2, %T A161622 9,19,19,19,19,19,2,7,23,23,23,20,7,23,24,23,23,28,5,21,26,31,7,25,24, %U A161622 23,29,30,29,2,29,30,32,29,15,31,2,32,30,34,12,2,32,2,35,20,18,16,41,36,33 %N A161622 Denominators of the ratios (in lowest terms) of numbers of primes in one square interval to that of the interval and its successor. %C A161622 The numerators are derived from sequence A014085. %C A161622 The expression is: R(n) = (PrimePi((n+1)^2) - PrimePi(n^2))/(PrimePi((n+2)^2) - PrimePi(n^2)). %C A161622 The first few ratios are 1/2, 2/5, 3/5, 1/3, 4/7, ... %C A161622 Conjecture: lim_{n->infinity} R(n) = 1/2. See also more extensive comment entered with sequence of numerators. This conjecture implies Legendre's conjecture. %e A161622 R(3) = (PrimePi(4^2)-PrimePi(3^2)) / (PrimePi(5^2)-PrimePi(3^2)) = (PrimePi(16)-PrimePi(9)) / (PrimePi(25)-PrimePi(9)) = (6-4)/(9-4) = 2/5. Hence a(3) = 5. - _Klaus Brockhaus_, Jun 15 2009 %o A161622 (Magma) [ Denominator((#PrimesUpTo((n+1)^2) - a) / (#PrimesUpTo((n+2)^2) - a)) where a is #PrimesUpTo(n^2): n in [1..80] ]; // _Klaus Brockhaus_, Jun 15 2009 %Y A161622 Cf. A014085. %Y A161622 Cf. A161621 (numerators). - _Klaus Brockhaus_, Jun 15 2009 %K A161622 nonn,frac %O A161622 1,1 %A A161622 _Daniel Tisdale_, Jun 14 2009 %E A161622 a(1) inserted and extended beyond a(11) by _Klaus Brockhaus_, Jun 15 2009