OFFSET
1,1
COMMENTS
Conjecture: a(n) exists for any n > 0. In general, if a > 1 and b are integers with a+b odd and gcd(a,b)=1, then for any positive integer n there are primes p and q such that a*prime(p*n)+b = prime(q*n).
This is a supplement to the conjecture in A260120. It implies that there are infinitely many Sophie Germain primes.
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 1..200
Zhi-Wei Sun, Conjectures involving primes and quadratic forms, arXiv:1211.1588 [math.NT], 2012-2015.
EXAMPLE
a(2) = 47 since 2*prime(47*2)+1 = 2*491+1 = 983 = prime(83*2) with 47 and 83 both prime.
a(199) = 2784167 since 2*prime(2784167*199)+1 = 2*12290086499+1 = 24580172999 = prime(5399231*199) with 2784167 and 5399231 both prime.
MATHEMATICA
f[n_]:=Prime[n]
PQ[p_, n_]:=PrimeQ[p]&&PrimeQ[PrimePi[p]/n]
Do[k=0; Label[bb]; k=k+1; If[PQ[2*f[n*f[k]]+1, n], Goto[aa], Goto[bb]]; Label[aa]; Print[n, " ", f[k]]; Continue, {n, 1, 50}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Aug 02 2015
STATUS
approved