A253178 Least k>=1 such that 2*A007494(n)^k+1 is prime.

1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 47, 1, 1, 1, 1, 2, 1, 2, 1, 1, 3, 1, 1, 1, 2729, 1, 1, 2, 1, 2, 175, 1, 1, 1, 1, 1, 1, 3, 3, 3, 43, 1, 1, 2, 1, 1, 3, 2, 1, 1, 3, 1, 11, 1, 1, 4, 1, 2, 1, 1, 3, 2, 1, 1, 1, 1, 192275, 2, 1233, 1, 3, 5, 51, 1, 1, 1, 1, 286, 1, 1, 755, 2, 1, 4, 1, 6, 1, 2

Offset

1,8

Comments

If n == 1 (mod 3), then for every positive integer k, 2*n^k+1 is divisible by 3 and cannot be prime (unless n=1). Thus we restrict the domain of this sequence to A007494 (n which is not in the form 3j+1).

Conjecture: a(n) is defined for all n.

a(145) > 200000, a(146) .. a(156) = {1, 1, 66, 1, 4, 3, 1, 1, 1, 1, 6}, a(157) > 100000, a(158) .. a(180) = {2, 1, 2, 11, 1, 1, 3, 321, 1, 1, 3, 1, 2, 12183, 5, 1, 1, 957, 2, 3, 16, 3, 1}.

a(n) = 1 if and only if n is in A144769.

Links

Eric Chen, Table of n, a(n) for n = 1..144

Formula

a(n) = A119624(A007494(n)).

Mathematica

A007494[n_] := 2n - Floor[n/2];
Table[k=1; While[!PrimeQ[2*A007494[n]^k+1], k++]; k, {n, 1, 144}]

Prog

(PARI) a007494(n) = n+(n+1)>>1;
a(n) = for(k=1, 2^24, if(ispseudoprime(2*a007494(n)^k+1), return(k)));

Crossrefs

Cf. A138066, A138067, A255707, A250200, A119624, A119591, A040076, A046067.

Sequence in context: A083993 A156727 A173505 * A174587 A177848 A168549

Adjacent sequences: A253175 A253176 A253177 * A253179 A253180 A253181

Keyword

nonn,hard

Author

Eric Chen, Mar 20 2015

Status

approved