cp's OEIS Frontend

A058989 Largest number of consecutive integers such that each is divisible by a prime <= the n-th prime.

%I A058989 #67 Dec 21 2024 11:17:12
%S A058989 1,3,5,9,13,21,25,33,39,45,57,65,73,89,99,105,117,131,151,173,189,199,
%T A058989 215,233,257,263,281,299,311,329,353,377,387,413,431,449,475,491,509,
%U A058989 537,549,573,599,615,641,659,685,717,741,761,797,809,833,857,875,907,925,953,977,1001,1029,1057,1097,1109
%N A058989 Largest number of consecutive integers such that each is divisible by a prime <= the n-th prime.
%C A058989 Marty Weissman conjectured that a(n)=2q-1, where q is the largest prime smaller than the n-th prime. The conjecture holds for the first few terms, but then a(n) is larger than 2q-1. Phil Carmody proved a(n)>=2q-1. Terms were calculated by Weissman, Carmody and McCranie.
%C A058989 A049300(n) is the smallest value of the mentioned consecutive integers. - _Reinhard Zumkeller_, Jun 14 2003
%C A058989 By Lemma 5 of Maynard, there is a constant C > 0 such that, for any n, there is a prime p <= C*exp(prime(n)) such that q - p >= a(n) where q is the smallest prime larger than p. (Probably C = 7/e^3 = 0.35... is admissible.) - _Charles R Greathouse IV_, Aug 01 2024
%D A058989 Dickson, L. E., History of the Theory of Numbers, Vol. 1, p. 439, Chelsea, 1952.
%H A058989 Thomas R. Hagedorn, <a href="https://doi.org/10.1090/S0025-5718-08-02166-2">Computation of Jacobsthal's function h(n) for n < 50</a>, Math. Comp. 78 (2009) 1073-1087.
%H A058989 H. Iwaniec, <a href="http://matwbn.icm.edu.pl/ksiazki/aa/aa19/aa1911.pdf">On the error term in the linear sieve</a>, Acta. Arith. 19 (1971), pp. 1-30.
%H A058989 J. D. Laison and M. Schick, <a href="http://www.jstor.org/stable/27643042">Seeing dots: visibility of lattice points</a>, Mathematics Magazine, Vol. 80 (2007), pp. 274-282. See page 281 reference 13.
%H A058989 James Maynard, <a href="https://arxiv.org/abs/1910.13450">Gaps between primes</a>, arXiv preprint arXiv:1910.13450 [math.NT], 2019.
%H A058989 Michael Penn, <a href="https://www.youtube.com/watch?v=pYBlYqamSnU">a nice divisibility problem</a>, YouTube video, 2024.
%H A058989 János Pintz, <a href="http://dx.doi.org/10.1006/jnth.1997.2081">Very large gaps between consecutive primes</a>, Journal of Number Theory 63 (1997), pp. 286-301.
%H A058989 Mario Ziller and John F. Morack, <a href="https://arxiv.org/abs/1611.03310">Algorithmic concepts for the computation of Jacobsthal's function</a>, arXiv:1611.03310 [math.NT], 2016.
%F A058989 a(n) = A048670(n) - 1. See that entry for additional information.
%F A058989 Iwaniec proved that a(n) << n^2*(log n)^2. - _Charles R Greathouse IV_, Sep 08 2012
%F A058989 a(n) >= (2e^gamma + o(1)) n log^2 n log log log n / (log log n)^2, see A048670. - _Charles R Greathouse IV_, Sep 08 2012
%F A058989 a(n) = 2 * A072752(n) + 1. - _Mario Ziller_, Dec 08 2016
%F A058989 See A048669 for many other bounds and references. - _N. J. A. Sloane_, Apr 19 2017
%e A058989 The 4th prime is 7. Nine is the maximum number of consecutive integers such that each is divisible by 2, 3, 5 or 7. (Example: 2 through 10) So a(4)=9.
%t A058989 (* This program is not suitable to compute more than a few terms *)
%t A058989 primorial[n_] := Product[Prime[k], {k, 1, n}];
%t A058989 j[n_] := Module[{L = 1, m = 1}, For[k = 2, k <= n+1, k++, If[GCD[k, n] == 1, If[L+m < k, m = k-L]; L = k]]; m];
%t A058989 a[1] = 1;
%t A058989 a[n_] := a[n] = j[primorial[n]] - 1;
%t A058989 Table[Print["a(", n, ") = ", a[n]]; a[n], {n, 1, 10}] (* _Jean-François Alcover_, Sep 05 2017 *)
%o A058989 (PARI) do(n,P,R)=for(i=1,#R, if(n==R[i], return(do(n+1,P,R)))); if(#P==0, return(n-1)); my(b=0); for(i=1,#P,my(t=do(n+1,setminus(P,[P[i]]), concat(R,Mod(n,P[i])))); if(t>b,b=t)); b
%o A058989 a(n)=do(1,primes(n),[]) \\ _Charles R Greathouse IV_, Aug 08 2024
%Y A058989 Cf. A048669, A048670, A072752.
%K A058989 nice,nonn
%O A058989 1,2
%A A058989 _Jud McCranie_, Jan 16 2001
%E A058989 Laison and Schick reference from _Parthasarathy Nambi_, Oct 19 2007
%E A058989 More terms from A048670 added by _Max Alekseyev_, Feb 07 2008
%E A058989 a(46) corrected and a(50)-a(54) added by _Mario Ziller_, Dec 08 2016
%E A058989 a(55)-a(64) from A048670 added by _Constantino Calancha_, Aug 05 2023