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

%I #63 Aug 08 2024 21:17:44

%S 1,3,5,9,13,21,25,33,39,45,57,65,73,89,99,105,117,131,151,173,189,199,

%T 215,233,257,263,281,299,311,329,353,377,387,413,431,449,475,491,509,

%U 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 Largest number of consecutive integers such that each is divisible by a prime <= the n-th prime.

%C 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 A049300(n) is the smallest value of the mentioned consecutive integers. - _Reinhard Zumkeller_, Jun 14 2003

%C 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 Dickson, L. E., History of the Theory of Numbers, Vol. 1, p. 439, Chelsea, 1952.

%H 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 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 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 James Maynard, <a href="https://arxiv.org/abs/1910.13450">Gaps between primes</a>, arXiv preprint arXiv:1910.13450 [math.NT], 2019.

%H 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 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 a(n) = A048670(n) - 1. See that entry for additional information.

%F Iwaniec proved that a(n) << n^2*(log n)^2. - _Charles R Greathouse IV_, Sep 08 2012

%F 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 a(n) = 2 * A072752(n) + 1. - _Mario Ziller_, Dec 08 2016

%F See A048669 for many other bounds and references. - _N. J. A. Sloane_, Apr 19 2017

%e 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 (* This program is not suitable to compute more than a few terms *)

%t primorial[n_] := Product[Prime[k], {k, 1, n}];

%t 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 a[1] = 1;

%t a[n_] := a[n] = j[primorial[n]] - 1;

%t Table[Print["a(", n, ") = ", a[n]]; a[n], {n, 1, 10}] (* _Jean-François Alcover_, Sep 05 2017 *)

%o (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 a(n)=do(1,primes(n),[]) \\ _Charles R Greathouse IV_, Aug 08 2024

%Y Cf. A048669, A048670, A072752.

%K nice,nonn

%O 1,2

%A _Jud McCranie_, Jan 16 2001

%E Laison and Schick reference from _Parthasarathy Nambi_, Oct 19 2007

%E More terms from A048670 added by _Max Alekseyev_, Feb 07 2008

%E a(46) corrected and a(50)-a(54) added by _Mario Ziller_, Dec 08 2016

%E a(55)-a(64) from A048670 added by _Constantino Calancha_, Aug 05 2023