OFFSET
1,3
COMMENTS
Conjecture: a(n) > 0 for all n > 1.
This conjecture was motivated by the "Super Twin Prime Conjecture".
See A237414 for primes q with q^2 - 2 and p(q)^2 - 2 both prime.
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 1..10000
Zhi-Wei Sun, Super Twin Prime Conjecture, a message to Number Theory List, Feb. 6, 2014.
Z.-W. Sun, Problems on combinatorial properties of primes, arXiv:1402.6641, 2014
EXAMPLE
a(7) = 1 since 7 = 6 + 1 with p(6)^2 - 2 = 13^2 - 2 = 167, p(1)^2 - 2 = 2^2 - 2 = 2 and p(p(1))^2 - 2 = p(2)^2 - 2 = 3^2 - 2 = 7 are all prime.
a(516) = 1 since 516 = 473 + 43 with p(473)^2 - 2 = 3359^2 - 2 = 11282879, p(43)^2 - 2 = 191^2 - 2 = 36479 and p(p(43))^2 - 2 = p(191)^2 - 2 = 1153^2 - 2 = 1329407 all prime.
MATHEMATICA
pq[k_]:=PrimeQ[Prime[k]^2-2]
a[n_]:=Sum[If[pq[k]&&pq[n-k]&&pq[Prime[n-k]], 1, 0], {k, 1, n-1}]
Table[a[n], {n, 1, 80}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Feb 07 2014
STATUS
approved