OFFSET
1,1
COMMENTS
Assuming the twin prime conjecture, my advisor and I are able to prove there are infinitely many of these pairs. In other words, there are infinitely many n such that A_n and B_n are prime and B_n = A_n + 2.
From Bobby Browning, Feb 14 2011: (Start)
i) the n in A185718 for which A_n and B_n form a twin prime pair are of the form n=2^3*p_1*p_2*...p_k.
ii) the A046138 sequence consists of primes p such that p+6 and p+8 form a twin prime pair.
iii) so if p is a prime such that p+6 and p+8 form a twin prime pair and n = 2^3*p then A_n = p+6 and B_n = p+8. Thus, the integers such that n = 2^3*p are a subsequence of A185718. (End)
LINKS
T. D. Noe, Table of n, a(n) for n = 1..1000
EXAMPLE
a(1) = 40 = 2^3*5^1, with a = 11 and b = 13.
a(2) = 88 = 2^3*11^1 with a = 17 and b = 19.
a(3) = 184 = 2^3*23^1 with a = 29 and b = 31.
MATHEMATICA
okQ[n_] := Module[{p, e, a, b}, {p, e} = Transpose[FactorInteger[n]]; a = Plus @@ (p*e); b = Plus @@ (p^e); b == a + 2 && PrimeQ[a] && PrimeQ[b]]; Select[Range[30000], okQ]
PROG
(PARI) sopfr(n)=my(f=factor(n)); sum(i=1, #f[, 1], f[i, 1]*f[i, 2]);
forstep(n=8, 1e5, 16, if(issquarefree(n/8)&&isprime(k=sopfr(n))&isprime(k+2), print1(n", ")))
CROSSREFS
KEYWORD
nonn
AUTHOR
Bobby Browning, Feb 10 2011
STATUS
approved