Offhand I would not see any reason for this to be the case, but the program below fails to find a counterexample all the way through n=72.
5 open "euclnxpr.txt" for output as #2
10 N=1:Prod=2:P=2
20 repeat
30 inc N:P=nxtprm(P):Prod=Prod*P:Nout=N
40 Nx=fnNxprime(Prod+2)
50 if fnPrime(Nx-Prod)<>1 then print N,Nx,Prod,Nx-Prod,fnPrime(Nx-Prod)
51 print #2,N,Nx,Prod,Nx-Prod,fnPrime(Nx-Prod)
60 until N>71
70 close #2
9999 end
10000 fnOddfact(N)
10010 local K=0,P
10030 while N@2=0
10040 N=N
10050 K=K+1
10060 wend
10070 P=pack(N,K)
10080 return(P)
10090 '
10100 fnPrime(N)
10110 local I,X,J,Y,Q,K,T,Ans
10120 if N@2=0 then Ans=0:goto *EndPrime
10125 O=fnOddfact(N-1)
10130 Q=member(O,1)
10140 K=member(O,2)
10150 I=0
10160 repeat
10170 repeat
10180 X=fnLrand(N)
10190 until X>1
10200 J=0
10210 Y=modpow(X,Q,N)
10220 loop
10230 if or{and{J=0,Y=1},Y=N-1} then goto *ProbPrime
10240 if and{J>0,Y=1} then goto *NotPrime
10250 J=J+1
10260 if J=K then goto *NotPrime
10270 Y=(Y*Y)@N
10280 endloop
10290 *ProbPrime
10300 I=I+1
10310 until I>50
10320 Ans=1
10330 goto *EndPrime
10340 *NotPrime
10350 Ans=0
10360 *EndPrime
10370 return(Ans)
10380 '
10400 fnLrand(N)
10410 local R
10415 N=int(N)
10420 R=(int(rnd*10^(alen(N)+2)))@N
10430 return(R)
10440 '
10500 fnNxprime(X)
10510 if X@2=0 then X=X+1
10520 while fnPrime(X)=0
10530 X=X+2
10540 wend
10550 return(X)
10560 '
finds only primes through the time it was manually stopped at n = 72.
The figures are:
n next product difference 1 indicates
prime it is prime
2 11 6 5 1
3 37 30 7 1
4 223 210 13 1
5 2333 2310 23 1
6 30047 30030 17 1
7 510529 510510 19 1
8 9699713 9699690 23 1
9 223092907 223092870 37 1
10 6469693291 6469693230 61 1
11 200560490197 200560490130 67 1
12 7420738134871 7420738134810 61 1
13 304250263527281 304250263527210 71 1
14 13082761331670077 13082761331670030 47 1
15 614889782588491517 614889782588491410 107 1
16 32589158477190044789 32589158477190044730 59 1
17 1922760350154212639131 1922760350154212639070 61 1
18 117288381359406970983379 117288381359406970983270 109 1
19 7858321551080267055879179 7858321551080267055879090 89 1
20 557940830126698960967415493 557940830126698960967415390 103 1
21 40729680599249024150621323549 40729680599249024150621323470 79 1
22 3217644767340672907899084554281 3217644767340672907899084554130 151 1
23 267064515689275851355624017992987 267064515689275851355624017992790 197 1
24 23768741896345550770650537601358411 23768741896345550770650537601358310 101 1
25 2305567963945518424753102147331756173 2305567963945518424753102147331756070 103 1
26 232862364358497360900063316880507363303 232862364358497360900063316880507363070 233 1
27 23984823528925228172706521638692258396433 23984823528925228172706521638692258396210 223 1
28 2566376117594999414479597815340071648394597 2566376117594999414479597815340071648394470 127 1
29 279734996817854936178276161872067809674997453 279734996817854936178276161872067809674997230 223 1
30 31610054640417607788145206291543662493274687181 31610054640417607788145206291543662493274686990 191 1
31 4014476939333036189094441199026045136645885247893 4014476939333036189094441199026045136645885247730 163 1
32 525896479052627740771371797072411912900610967452859 525896479052627740771371797072411912900610967452630 229 1
33 72047817630210000485677936198920432067383702541010953 72047817630210000485677936198920432067383702541010310 643 1
34 10014646650599190067509233131649940057366334653200433329 10014646650599190067509233131649940057366334653200433090 239 1
35 1492182350939279320058875736615841068547583863326864530567 1492182350939279320058875736615841068547583863326864530410 157 1
36 225319534991831177328890236228992001350685163362356544092077 225319534991831177328890236228992001350685163362356544091910 167 1
37 35375166993717494840635767087951744212057570647889977422430309 35375166993717494840635767087951744212057570647889977422429870 439 1
38 5766152219975951659023630035336134306565384015606066319856069049 5766152219975951659023630035336134306565384015606066319856068810 239 1
39 962947420735983927056946215901134429196419130606213075415963491469 962947420735983927056946215901134429196419130606213075415963491270 199 1
40 166589903787325219380851695350896256250980509594874862046961683989901 166589903787325219380851695350896256250980509594874862046961683989710 191 1
41 29819592777931214269172453467810429868925511217482600306406141434158289 29819592777931214269172453467810429868925511217482600306406141434158090 199 1
42 5397346292805549782720214077673687806275517530364350655459511599582614673 5397346292805549782720214077673687806275517530364350655459511599582614290 383 1
43 1030893141925860008499560888835674370998623848299590975192766715520279329623 1030893141925860008499560888835674370998623848299590975192766715520279329390 233 1
44 198962376391690981640415251545285153602734402721821058212203976095413910573021 198962376391690981640415251545285153602734402721821058212203976095413910572270 751 1
45 39195588149163123383161804554421175259738677336198748467804183290796540382737503 39195588149163123383161804554421175259738677336198748467804183290796540382737190 313 1
46 7799922041683461553249199106329813876687996789903550945093032474868511536164701583 7799922041683461553249199106329813876687996789903550945093032474868511536164700810 773 1
47 1645783550795210387735581011435590727981167322669649249414629852197255934130751871517 1645783550795210387735581011435590727981167322669649249414629852197255934130751870910 607 1
48 367009731827331916465034565550136732339800312955331782619462457039988073311157667213243 367009731827331916465034565550136732339800312955331782619462457039988073311157667212930 313 1
49 83311209124804345037562846379881038241134671040860314654617977748077292641632790457335493 83311209124804345037562846379881038241134671040860314654617977748077292641632790457335110 383 1
50 19078266889580195013601891820992757757219839668357012055907516904309700014933909014729740483 19078266889580195013601891820992757757219839668357012055907516904309700014933909014729740190 293 1
51 4445236185272185438169240794291312557432222642727183809026451438704160103479600800432029464713 4445236185272185438169240794291312557432222642727183809026451438704160103479600800432029464270 443 1
52 1062411448280052319722448549835623701226301211611796930357321893850294264731624591303255041960861 1062411448280052319722448549835623701226301211611796930357321893850294264731624591303255041960530 331 1
53 256041159035492609053110100510385311995538591998443060216114576417920917800321526504084465112488013 256041159035492609053110100510385311995538591998443060216114576417920917800321526504084465112487730 283 1
54 64266330917908644872330635228106713310880186591609208114244758680898150367880703152525200743234420507 64266330917908644872330635228106713310880186591609208114244758680898150367880703152525200743234420230 277 1
55 16516447045902521732188973253623425320896207954043566485360902980990824644545340710198976591011245999381 16516447045902521732188973253623425320896207954043566485360902980990824644545340710198976591011245999110 271 1
56 4343825573072363215565699965702960859395702691913457985649917484000586881515424606782330843435957697766331 4343825573072363215565699965702960859395702691913457985649917484000586881515424606782330843435957697765930 401 1
57 1168489079156465704987173290774096471177444024124720198139827803196157871127649219224446996884272620699035477 1168489079156465704987173290774096471177444024124720198139827803196157871127649219224446996884272620699035170 307 1
58 316660540451402206051523961799780143689087330537799173695893334666158783075592938409825136155637880209438531401 316660540451402206051523961799780143689087330537799173695893334666158783075592938409825136155637880209438531070 331 1
59 87714969705038411076272137418539099801877190558970371113762453702525982911939243939521562715111692818014473106769 87714969705038411076272137418539099801877190558970371113762453702525982911939243939521562715111692818014473106390 379 1
60 24647906487115793512432470614609487044327490547070674282967249490409801198254927547005559122946385681862066942896081 24647906487115793512432470614609487044327490547070674282967249490409801198254927547005559122946385681862066942895590 491 1
61 6975357535853769564018389183934484833544679824821000822079731605785973739106144495802573231793827147966964944839452301 6975357535853769564018389183934484833544679824821000822079731605785973739106144495802573231793827147966964944839451970 331 1
62 2043779758005154482257388030892804056228591188672553240869361360495290305558100337270153956915591354354320728837959427521 2043779758005154482257388030892804056228591188672553240869361360495290305558100337270153956915591354354320728837959427210 311 1
63 627440385707582426053018125484090845262177494922473844946893937672054123806336803541937264773086545786776463753253544153867 627440385707582426053018125484090845262177494922473844946893937672054123806336803541937264773086545786776463753253544153470 397 1
64 195133959955058134502488637025552252876537200920889365778484014616008832503770745901542489344429915739687480227261852231729501 195133959955058134502488637025552252876537200920889365778484014616008832503770745901542489344429915739687480227261852231729170 331 1
65 61076929465933196099278943388997855150356143888238371488665496574810764573680243467182799164806563626522181311132959748531230563 61076929465933196099278943388997855150356143888238371488665496574810764573680243467182799164806563626522181311132959748531230210 353 1
66 19361386640700823163471425054312320082662897612571563761906962414215012369856637179096947335243680669607531475629148240284399976989 19361386640700823163471425054312320082662897612571563761906962414215012369856637179096947335243680669607531475629148240284399976570 419 1
67 6408618978071972467109041692977377947361419109761187605191204559105169094422546906281089567965658301640092918433248067534136392245091 6408618978071972467109041692977377947361419109761187605191204559105169094422546906281089567965658301640092918433248067534136392244670 421 1
68 2159704595610254721415747050533376368260798239989520222949435936418441984820398307416727184404426847652711313512004598759003964186454673 2159704595610254721415747050533376368260798239989520222949435936418441984820398307416727184404426847652711313512004598759003964186453790 883 1
69 749417494676758388331264226535081599786496989276363517363454269937199368732678212673604332988336116135490825788665595769374375572699465677 749417494676758388331264226535081599786496989276363517363454269937199368732678212673604332988336116135490825788665595769374375572699465130 547 1
70 261546705642188677527611215060743478325487449257450867559845540208082579687704696223087912212929304531286298200244292923511657074872113331751 261546705642188677527611215060743478325487449257450867559845540208082579687704696223087912212929304531286298200244292923511657074872113330370 1381 1
71 92325987091692603167246758916442447848897069587880156248625475693453150629759757766750033011164044499544063264686235401999614947429856005621067 92325987091692603167246758916442447848897069587880156248625475693453150629759757766750033011164044499544063264686235401999614947429856005620610 457 1
72 33145029365917644537041586451002838777754047982048976093256545773949681076083753038263261851007891975336318712022358509317861766127318306017799447 33145029365917644537041586451002838777754047982048976093256545773949681076083753038263261851007891975336318712022358509317861766127318306017798990 457 1
Edit: a version of the program has verified through n=135, and is continuing.
Edited on September 21, 2017, 4:47 pm
By now it has verified through 151, and I'm terminating the execution.
Edited on September 21, 2017, 7:20 pm
|
Posted by Charlie
on 2017-09-21 13:05:22 |