login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

Consider the sequence b(0)=127 and for n>0, b(n) is the least prime of the form k * b(n-1)^2 - 1 where k is a multiple of 6. This sequence gives the values of k.
0

%I #14 Jun 18 2021 14:48:12

%S 30,42,30,84,516,768,804,4806,2838,174,23418,22770

%N Consider the sequence b(0)=127 and for n>0, b(n) is the least prime of the form k * b(n-1)^2 - 1 where k is a multiple of 6. This sequence gives the values of k.

%e 127,

%e 30*127^2-1,

%e 42*(30*127^2-1)^2-1,

%e 30*(42*(30*127^2-1)^2-1)^2-1,

%e 84*(30*(42*(30*127^2-1)^2-1)^2-1)^2-1,

%e 516*(84*(30*(42*(30*127^2-1)^2-1)^2-1)^2-1)^2-1,

%e 768*(516*(84*(30*(42*(30*127^2-1)^2-1)^2-1)^2-1)^2-1)^2-1,

%e 804*(768*(516*(84*(30*(42*(30*127^2-1)^2-1)^2-1)^2-1)^2-1)^2-1)^2-1,

%e 4806*(804*(768*(516*(84*(30*(42*(30*127^2-1)^2-1)^2-1)^2-1)^2-1)^2-1)^2-1)^2-1,

%e 2838*(4806*(804*(768*(516*(84*(30*(42*(30*127^2-1)^2-1)^2-1)^2-1)^2-1)^2-1)^2-1)^2-1)^2-1,

%e 174*(2838*(4806*(804*(768*(516*(84*(30*(42*(30*127^2-1)^2-1)^2-1)^2-1)^2-1)^2-1)^2-1)^2-1)^2-1)^2-1,

%e 23418*(174*(2838*(4806*(804*(768*(516*(84*(30*(42*(30*127^2-1)^2-1)^2-1)^2-1)^2-1)^2-1)^2-1)^2-1)^2-1)^2-1)^2-1,

%e and 22770*(23418*(174*(2838*(4806*(804*(768*(516*(84*(30*(42*(30*127^2-1)^2-1)^2-1)^2-1)^2-1)^2-1)^2-1)^2-1)^2-1)^2-1)^2-1)^2-1,

%e are primes.

%t lpf[{n_,t_}]:=Module[{a=t^2,k=6},While[!PrimeQ[k*a-1],k=k+6];{k,k*a-1}]; Rest[ NestList[lpf,{127,127},12][[All,1]]] (* _Harvey P. Dale_, Apr 25 2017 *)

%K nonn,more

%O 1,1

%A _Pierre CAMI_, Sep 17 2005

%E Edited by _Ray Chandler_, Sep 26 2005

%E Definition amended by _Georg Fischer_, Jun 18 2021