A002822 -id:A002822 - cp's OEIS frontend

A308344 a(n) = (A001359(n+1)^2 - 1)/24, where A001359 = lesser of twin primes; or: pentagonal numbers (A000326) whose indices are twin ranks (A002822).

1, 5, 12, 35, 70, 145, 210, 425, 477, 782, 925, 1335, 1520, 1617, 2147, 2380, 3015, 3290, 4030, 5017, 7315, 7740, 8855, 11310, 13490, 14950, 15862, 17120, 18095, 27270, 28085, 28497, 30602, 32340, 43265, 44290, 45850, 46905, 49595, 55200, 62935, 67947, 69230, 70525

Offset: 1

M. F. Hasler and A. Dinculescu, Jul 04 2019

nonn

Subsequence of A024702 which considers all primes rather than only twins.
This sequence seems to play an important role in studying the twin prime conjecture; see also A057767, A273257, and related.
Dinculescu calls the numbers M(j) = (prime(j)^2 - 1)/6 "basic numbers", and [M(j), M(j+1)] a "twin interval" when j is the index of a twin prime. He notes that the length of such an interval equals four times the corresponding twin rank k(j) = (prime(j) + prime(j+1))/6, see near eq.(3.3) in the 2018 paper.

			Sequence A001359 = {3, 5, 11, 17, 29, ...} lists the lesser members of pairs of twin primes, (3, 5), (5, 7), (11, 13), (17, 19), ...
We ignore the first and start with the second pair, (5, 7). We have (5^2 - 1)/24 = 1 = a(1).
Next comes the pair (11, 13), whence (11^2 - 1)/24 = 120/24 = 5 = a(2), etc.

M. F. Hasler, Table of n, a(n) for n = 1..10000
A. Dinculescu, On the Numbers that Determine the Distribution of Twin Primes, Surveys in Mathematics and its Applications, 13 (2018), 171-181.

Cf. A000326, A002822, A001359, A024702.

(#^2-1)/24&/@Rest[Select[Partition[Prime[Range[300]],2,1],#[[2]]-#[[1]] == 2&][[All,1]]] (* Harvey P. Dale, Sep 05 2020 *)

PARI
```
a(n)=A000326(A002822(n))
```

a(n)=(A001359(n+1)^2-1)/24 \\ or implemented as follows:
p=0;forprime(q=5,oo,p+2==q&&print1(p^2\24",");p=q)

a(n) = (A001359(n+1)^2 - 1)/24 = A000326(A002822(n)).

A173232 Numbers k such that k and k+2 are both members of A002822.

Original entry on oeis.org

1, 3, 5, 10, 23, 30, 38, 45, 70, 135, 170, 175, 213, 215, 268, 355, 465, 560, 588, 653, 703, 705, 710, 773, 798, 835, 940, 978, 1115, 1130, 1158, 1258, 1370, 1500, 1570, 1843, 1860, 2040, 2280, 2285, 2333, 2425, 2985, 3008, 3020, 3598, 3600, 3838, 4375, 4450, 4480

Offset: 1

Juri-Stepan Gerasimov, Feb 13 2010

nonn

			a(1)=1 because 1 and 3 are both in A002822.

Cf. A002822, A173233.

isokp(n) = isprime(6*n-1) && isprime(6*n+1);
isok(k) = isokp(k) && isokp(k+2); \\ Michel Marcus, May 15 2020

Definition corrected, and sequence corrected (1158 inserted) by R. J. Mathar, May 02 2010

More terms from Jinyuan Wang, May 15 2020

A172052 a(n)=abs(A171696(n)-A002822(n)).

Original entry on oeis.org

1, 18, 21, 26, 27, 26, 29, 31, 32, 31, 32, 39, 39, 46, 48, 48, 44, 45, 45, 46, 36, 39, 39, 32, 35, 32, 31, 29, 29, 6, 8, 11, 7, 7, 10, 5, 4, 3, 6, 13, 25, 24, 25, 26, 27, 42, 41, 40, 39, 57, 58, 59, 61, 64, 74, 87, 87, 91, 93, 99, 102, 103, 102, 101, 102, 101, 108, 106, 111, 115

Offset: 1

Juri-Stepan Gerasimov, Jan 24 2010

nonn

Abs(n-th nonnegative number such that neither 6*k+-1 is prime minus n-th number such that 6*m+-1 are both twin primes).

Cf. A002808, A171696.

a(65) and terms from a(67) on corrected by R. J. Mathar, May 22 2010

A326228 Primes p such that m - p#/6 or p#/6 - n is not in A002822 (twin ranks), where m (resp. n) is the next larger (resp. smaller) twin rank w.r.t. p#/6, and # = A034386 (primorial).

Original entry on oeis.org

41, 227, 307, 311, 349, 457, 613

Offset: 1

M. F. Hasler, Jun 24 2019

Related to the "Twin Fortune Conjecture" (A. Dinculescu) which states that the distance between p#/6 and the next larger or smaller n in A002822 (twin rank, such that 6n +- 1 are twin primes) is again a twin rank; very similar to Fortune's Conjecture, cf. A005235.

For a(1) = 41, the non twin rank is p#/6 - n, for all other terms listed here, it is m - p#/6. However, in these cases, the other distance is a twin rank. For all other primes, both distances are twin ranks.

Cf. A002822 (twin ranks), A034386 (primorial), A005235 (Fortunate numbers).

is(p)={ my(m=A034386(p)/6,n=m); until(is_A002822(n-=1),); (is_A002822(m-n) || ((n=m) && !until(is_A002822(m+=1),) && is_A002822(m-n))) && isprime(p)}

A001359 Lesser of twin primes.

Original entry on oeis.org

3, 5, 11, 17, 29, 41, 59, 71, 101, 107, 137, 149, 179, 191, 197, 227, 239, 269, 281, 311, 347, 419, 431, 461, 521, 569, 599, 617, 641, 659, 809, 821, 827, 857, 881, 1019, 1031, 1049, 1061, 1091, 1151, 1229, 1277, 1289, 1301, 1319, 1427, 1451, 1481, 1487, 1607

Offset: 1

N. J. A. Sloane

Also, solutions to phi(n + 2) = sigma(n). - Conjectured by Jud McCranie, Jan 03 2001; proved by Reinhard Zumkeller, Dec 05 2002
The set of primes for which the weight as defined in A117078 is 3 gives this sequence except for the initial 3. - Rémi Eismann, Feb 15 2007
The set of lesser of twin primes larger than three is a proper subset of the set of primes of the form 3n - 1 (A003627). - Paul Muljadi, Jun 05 2008
It is conjectured that A113910(n+4) = a(n+2) for all n. - Creighton Dement, Jan 15 2009
I would like to conjecture that if f(x) is a series whose terms are x^n, where n represents the terms of sequence A001359, and if we inspect {f(x)}^5, the conjecture is that every term of the expansion, say a_n * x^n, where n is odd and at least equal to 15, has a_n >= 1. This is not true for {f(x)}^k, k = 1, 2, 3 or 4, but appears to be true for k >= 5. - Paul Bruckman (pbruckman(AT)hotmail.com), Feb 03 2009
A164292(a(n)) = 1; A010051(a(n) - 2) = 0 for n > 1. - Reinhard Zumkeller, Mar 29 2010
From Jonathan Sondow, May 22 2010: (Start)
About 15% of primes < 19000 are the lesser of twin primes. About 26% of Ramanujan primes A104272 < 19000 are the lesser of twin primes.
About 46% of primes < 19000 are Ramanujan primes. About 78% of the lesser of twin primes < 19000 are Ramanujan primes.
A reason for the jumps is in Section 7 of "Ramanujan primes and Bertrand's postulate" and in Section 4 of "Ramanujan Primes: Bounds, Runs, Twins, and Gaps". (End)
Primes generated by sequence A040976. - Odimar Fabeny, Jul 12 2010
Primes of the form 2*n - 3 with 2*n - 1 prime n > 2. Primes of the form (n^2 - (n-2)^2)/2 - 1 with (n^2 - (n-2)^2)/2 + 1 prime so sum of two consecutive odd numbers/2 - 1. - Pierre CAMI, Jan 02 2012
Conjecture: For any integers n >= m > 0, there are infinitely many integers b > a(n) such that the number Sum_{k=m..n} a(k)*b^(n-k) (i.e., (a(m), ..., a(n)) in base b) is prime; moreover, when m = 1 there is such an integer b < (n+6)^2. - Zhi-Wei Sun, Mar 26 2013
Except for the initial 3, all terms are congruent to 5 mod 6. One consequence of this is that no term of this sequence appears in A030459. - Alonso del Arte, May 11 2013
Aside from the first term, all terms have digital root 2, 5, or 8. - J. W. Helkenberg, Jul 24 2013
The sequence provides all solutions to the generalized Winkler conjecture (A051451) aside from all multiples of 6. Specifically, these solutions start from n = 3 as a(n) - 3. This gives 8, 14, 26, 38, 56, ... An example from the conjecture is solution 38 from twin prime pairs (3, 5), (41, 43). - Bill McEachen, May 16 2014
Conjecture: a(n)^(1/n) is a strictly decreasing function of n. Namely a(n+1)^(1/(n+1)) < a(n)^(1/n) for all n. This conjecture is true for all a(n) <= 1121784847637957. - Jahangeer Kholdi and Farideh Firoozbakht, Nov 21 2014
a(n) are the only primes, p(j), such that (p(j+m) - p(j)) divides (p(j+m) + p(j)) for some m > 0, where p(j) = A000040(j). For all such cases m=1. It is easy to prove, for j > 1, the only common factor of (p(j+m) - p(j)) and (p(j+m) + p(j)) is 2, and there are no common factors if j = 1. Thus, p(j) and p(j+m) are twin primes. Also see A067829 which includes the prime 3. - Richard R. Forberg, Mar 25 2015
Primes prime(k) such that prime(k)! == 1 (mod prime(k+1)) with the exception of prime(991) = 7841 and other unknown primes prime(k) for which (prime(k)+1)*(prime(k)+2)*...*(prime(k+1)-2) == 1 (mod prime(k+1)) where prime(k+1) - prime(k) > 2. - Thomas Ordowski and Robert Israel, Jul 16 2016
For the twin prime criterion of Clement see the link. In Ribenboim, pp. 259-260 a more detailed proof is given. - Wolfdieter Lang, Oct 11 2017
Conjecture: Half of the twin prime pairs can be expressed as 8n + M where M > 8n and each value of M is a distinct composite integer with no more than two prime factors. For example, when n=1, M=21 as 8 + 21 = 29, the lesser of a twin prime pair. - Martin Michael Musatov, Dec 14 2017
For a discussion of bias in the distribution of twin primes, see my article on the Vixra web site. - Waldemar Puszkarz, May 08 2018
Since 2^p == 2 (mod p) (Fermat's little theorem), these are primes p such that 2^p == q (mod p), where q is the next prime after p. - Thomas Ordowski, Oct 29 2019, edited by M. F. Hasler, Nov 14 2019
The yet unproved "Twin Prime Conjecture" states that this sequence is infinite. - M. F. Hasler, Nov 14 2019
Lesser of the twin primes are the set of elements that occur in both A162566, A275697. Proof: A prime p will only have integer solutions to both (p+1)/g(p) and (p-1)/g(p) when p is the lesser of a twin prime, where g(p) is the gap between p and the next prime, because gcd(p+1,p-1) = 2. - Ryan Bresler, Feb 14 2021
From Lorenzo Sauras Altuzarra, Dec 21 2021: (Start)
J. A. Hervás Contreras observed the subsequence 11, 311, 18311, 1518311, 421518311... (see the links), which led me to conjecture the following statements.
I. If i is an integer greater than 2, then there exist positive integers j and k such that a(j) equals the concatenation of 3k and a(i).
II. If k is a positive integer, then there exist positive integers i and j such that a(j) equals the concatenation of 3k and a(i).
III. If i, j, and r are positive integers such that i > 2 and a(j) equals the concatenation of r and a(i), then 3 divides r. (End)

Milton Abramowitz and Irene A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards Applied Math. Series 55, 1964 (and various reprintings), p. 870.
T. M. Apostol, Introduction to Analytic Number Theory, Springer-Verlag, 1976, page 6.
Jan Gullberg, Mathematics from the Birth of Numbers, W. W. Norton & Co., NY & London, 1997, §3.2 Prime Numbers, p. 81.
Paulo Ribenboim, The New Book of Prime Number Records, Springer-Verlag NY 1996, pp. 259-260.
Paulo Ribenboim, The Little Book of Bigger Primes, Springer-Verlag NY 2004. See pp. 192-197.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
James J. Tattersall, Elementary Number Theory in Nine Chapters, Cambridge University Press, 1999, pages 111-112.

Chris K. Caldwell, Table of n, a(n) for n = 1..100000
Milton Abramowitz and Irene A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, 1972 [alternative scanned copy].
Abhinav Aggarwal, Zekun Xu, Oluwaseyi Feyisetan, and Nathanael Teissier, On Primes, Log-Loss Scores and (No) Privacy, arXiv:2009.08559 [cs.LG], 2020.
Chris K. Caldwell, First 100000 Twin Primes
Chris K. Caldwell, Twin Primes
Chris K. Caldwell, Largest known twin primes
Chris K. Caldwell, Twin primes
Chris K. Caldwell, The prime pages
P. A. Clement, Congruences for sets of primes, American Mathematical Monthly, vol. 56,1 (1949), 23-25.
Harvey Dubner, Twin Prime Statistics, Journal of Integer Sequences, Vol. 8 (2005), Article 05.4.2.
Andrew Granville and Greg Martin, Prime number races, arXiv:math/0408319 [math.NT], 2004; Amer. Math. Monthly, 113 (No. 1, 2006), 1-33.
José Antonio Hervás Contreras, ¿Nueva propiedad de los primos gemelos?
Thomas R. Nicely, Some Results of Computational Research in Prime Numbers [See local copy in A007053]
Thomas R. Nicely, Enumeration to 10^14 of the twin primes and Brun's constant, Virginia Journal of Science, 46:3 (Fall, 1995), 195-204.
Thomas R. Nicely, Enumeration to 10^14 of the twin primes and Brun's constant [Local copy, pdf only]
Omar E. Pol, Determinacion geometrica de los numeros primos y perfectos.
Waldemar Puszkarz, Statistical Bias in the Distribution of Prime Pairs and Isolated Primes, vixra:1804.0416 (2018).
Fred Richman, Generating primes by the sieve of Eratosthenes
Maxie D. Schmidt, New Congruences and Finite Difference Equations for Generalized Factorial Functions, arXiv:1701.04741 [math.CO], 2017.
P. Shiu, A Diophantine Property Associated with Prime Twins, Experimental mathematics 14 (1) (2005).
Jonathan Sondow, Ramanujan primes and Bertrand's postulate, arXiv:0907.5232 [math.NT], 2009-2010; Amer. Math. Monthly, 116 (2009) 630-635.
Jonathan Sondow, J. W. Nicholson, and T. D. Noe, Ramanujan Primes: Bounds, Runs, Twins, and Gaps, arXiv:1105.2249 [math.NT], 2011; J. Integer Seq. 14 (2011) Article 11.6.2.
Jonathan Sondow and Emmanuel Tsukerman, The p-adic order of power sums, the Erdos-Moser equation, and Bernoulli numbers, arXiv:1401.0322 [math.NT], 2014; see section 4.
Terence Tao, Obstructions to uniformity and arithmetic patterns in the primes, arXiv:math/0505402 [math.NT], 2005.
Apoloniusz Tyszka, On sets X subset of N for which we know an algorithm that computes a threshold number t(X) in N such that X is infinite if and only if X contains an element greater than t(X), 2019.
Eric Weisstein's World of Mathematics, Twin Primes
Index entries for primes, gaps between

Subsequence of A003627.
Cf. A001223, A006512 (greater of twin primes), A014574, A001097, A077800, A002822, A040040, A054735, A067829, A082496, A088328, A117078, A117563, A074822, A071538, A007508, A146214, A350246, A350247.
Cf. A104272 (Ramanujan primes), A178127 (lesser of twin Ramanujan primes), A178128 (lesser of twin primes if it is a Ramanujan prime).
Cf. A010051, A000040.

a001359 n = a001359_list !! (n-1)
a001359_list = filter ((== 1) . a010051' . (+ 2)) a000040_list
-- Reinhard Zumkeller, Feb 10 2015

[n: n in PrimesUpTo(1610) | IsPrime(n+2)];  // Bruno Berselli, Feb 28 2011

select(k->isprime(k+2),select(isprime,[$1..1616])); # Peter Luschny, Jul 21 2009
A001359 := proc(n)
   option remember;
   if n = 1
      then 3;
   else
      p := nextprime(procname(n-1)) ;
      while not isprime(p+2) do
         p := nextprime(p) ;
      end do:
      p ;
   end if;
end proc: # R. J. Mathar, Sep 03 2011

Select[Prime[Range[253]], PrimeQ[# + 2] &] (* Robert G. Wilson v, Jun 09 2005 *)
a[n_] := a[n] = (p = NextPrime[a[n - 1]]; While[!PrimeQ[p + 2], p = NextPrime[p]]; p); a[1] = 3; Table[a[n], {n, 51}]  (* Jean-François Alcover, Dec 13 2011, after R. J. Mathar *)
nextLesserTwinPrime[p_Integer] := Block[{q = p + 2}, While[NextPrime@ q - q > 2, q = NextPrime@ q]; q]; NestList[nextLesserTwinPrime@# &, 3, 50] (* Robert G. Wilson v, May 20 2014 *)
Select[Partition[Prime[Range[300]],2,1],#[[2]]-#[[1]]==2&][[All,1]] (* Harvey P. Dale, Jan 04 2021 *)
q = Drop[Prepend[p = Prime[Range[100]], 2], -1];
Flatten[q[[#]] & /@ Position[p - q, 2]] (* Horst H. Manninger, Mar 28 2021 *)

A001359(n,p=3) = { while( p+2 < (p=nextprime( p+1 )) || n-->0,); p-2}
/* The following gives a reasonably good estimate for any value of n from 1 to infinity; compare to A146214. */
A001359est(n) = solve( x=1,5*n^2/log(n+1), 1.320323631693739*intnum(t=2.02,x+1/x,1/log(t)^2)-log(x) +.5 - n)
/* The constant is A114907; the expression in front of +.5 is an estimate for A071538(x) */ \\  M. F. Hasler, Dec 10 2008

from sympy import primerange, isprime
print([n for n in primerange(1, 2001) if isprime(n + 2)]) # Indranil Ghosh, Jul 20 2017

a(n) = A077800(2n-1).
A001359 = { n | A071538(n-1) = A071538(n)-1 }; A071538(A001359(n)) = n. - M. F. Hasler, Dec 10 2008
A001359 = { prime(n) : A069830(n) = A087454(n) }. - Juri-Stepan Gerasimov, Aug 23 2011
a(n) = prime(A029707(n)). - R. J. Mathar, Feb 19 2017

A014574 Average of twin prime pairs.

Original entry on oeis.org

4, 6, 12, 18, 30, 42, 60, 72, 102, 108, 138, 150, 180, 192, 198, 228, 240, 270, 282, 312, 348, 420, 432, 462, 522, 570, 600, 618, 642, 660, 810, 822, 828, 858, 882, 1020, 1032, 1050, 1062, 1092, 1152, 1230, 1278, 1290, 1302, 1320, 1428, 1452, 1482, 1488, 1608

Offset: 1

R. K. Guy, N. J. A. Sloane, Eric W. Weisstein

With an initial 1 added, this is the complement of the closure of {2} under a*b+1 and a*b-1. - Franklin T. Adams-Watters, Jan 11 2006
Also the square root of the product of twin prime pairs + 1. Two consecutive odd numbers can be written as 2k+1,2k+3. Then (2k+1)(2k+3)+1 = 4(k^2+2k+1) = 4(k+1)^2, a perfect square. Since twin prime pairs are two consecutive odd numbers, the statement is true for all twin prime pairs. - Cino Hilliard, May 03 2006
Or, single (or isolated) composites. Nonprimes k such that neither k-1 nor k+1 is nonprime. - Juri-Stepan Gerasimov, Aug 11 2009
Numbers n such that sigma(n-1) = phi(n+1). - Farideh Firoozbakht, Jul 04 2010
Aside from the first term in the sequence, all remaining terms have digital root 3, 6, or 9. - J. W. Helkenberg, Jul 24 2013
Numbers n such that n^2-1 is a semiprime. - Thomas Ordowski, Sep 24 2015
Every term but the first is a multiple of 6. - Harvey P. Dale, Mar 31 2023

Archimedeans Problems Drive, Eureka, 30 (1967).

T. D. Noe, Table of n, a(n) for n = 1..10000
C. K. Caldwell, The Prime Glossary: Twin primes
C. K. Caldwell, The Top Twenty: Twin Primes
Y. Fujiwara, Parsing a Sequence of Qubits, IEEE Trans. Information Theory, 59 (2013), 6796-6806.
Y. Fujiwara, Parsing a Sequence of Qubits, arXiv:1207.1138 [quant-ph], 2012-2013.
L. J. Gerstein, A reformulation of the Goldbach conjecture, Math. Mag., 66 (1993), 44-45.
Brian Hayes, Does having prime neighbors make you more composite?, Bit-Player Article, Nov 04 2021
Eric Weisstein's World of Mathematics, Twin Primes

Cf. A000010, A000203, A001359, A002822, A006512, A037074, A040040, A054735, A077800, A111046.

A068507 is the intersection of A002182 and this sequence.

a:=1+Filtered([1..2000],p->IsPrime(p) and IsPrime(p+2)); # Muniru A Asiru, May 20 2018

a014574 n = a014574_list !! (n-1)
a014574_list = [x | x <- [2,4..], a010051 (x-1) == 1, a010051 (x+1) == 1]
-- Reinhard Zumkeller, Apr 11 2012

P := select(isprime,[$1..1609]): map(p->p+1,select(p->member(p+2,P),P)); # Peter Luschny, Mar 03 2011
A014574 := proc(n) option remember; local p ; if n = 1 then 4 ; else p := nextprime( procname(n-1) ) ; while not isprime(p+2) do p := nextprime(p) ; od ; return p+1 ; end if ; end proc: # R. J. Mathar, Jun 11 2011

Select[Table[Prime[n] + 1, {n, 260}], PrimeQ[ # + 1] &] (* Ray Chandler, Oct 12 2005 *)
Mean/@Select[Partition[Prime[Range[300]],2,1],Last[#]-First[#]==2&] (* Harvey P. Dale, Jan 16 2014 *)

A014574(n) := block(
    if n = 1 then
        return(4),
    p : A014574(n-1) ,
    for k : 2 step 2 do (
        if primep(p+k-1) and primep(p+k+1) then
            return(p+k)
    )
)$ /* R. J. Mathar, Mar 15 2012 */

p=2;forprime(q=3,1e4,if(q-p==2,print1(p+1", "));p=q) \\ Charles R Greathouse IV, Jun 10 2011

a(n) = (A001359(n) + A006512(n))/2 = 2*A040040(n) = A054735(n)/2 = A111046(n)/4.
a(n) = A129297(n+4). - Reinhard Zumkeller, Apr 09 2007
A010051(a(n) - 1) * A010051(a(n) + 1) = 1. Reinhard Zumkeller, Apr 11 2012
a(n) = 6*A002822(n-1), n>=2. - Ivan N. Ianakiev, Aug 19 2013
a(n)^4 - 4*a(n)^2 = A062354(a(n)^2 - 1). - Raphie Frank, Oct 17 2013

Offset changed to 1 by R. J. Mathar, Jun 11 2011

A037074 Numbers that are the product of a pair of twin primes.

Original entry on oeis.org

15, 35, 143, 323, 899, 1763, 3599, 5183, 10403, 11663, 19043, 22499, 32399, 36863, 39203, 51983, 57599, 72899, 79523, 97343, 121103, 176399, 186623, 213443, 272483, 324899, 359999, 381923, 412163, 435599, 656099, 675683, 685583, 736163

Offset: 1

Felice Russo

Each entry is the product of p and p+2 where both p and p+2 are prime, i.e., the product of the lesser and greater of a twin prime pair.
Except for the first term, all entries have digital root 8. - Lekraj Beedassy, Jun 11 2004
The above statement follows from p > 3 => (p,p+2) = (6k-1,6k+1) => p*(p+2) = 36k^2 - 1 == 8 (mod 9), and A010888 === A010878 (mod 9). - M. F. Hasler, Jan 11 2013
Albert A. Mullin states that m is a product of twin primes iff phi(m)*sigma(m) = (m-3)*(m+1), where phi(m) = A000010(m) and sigma(m) = A000203(m). Of course, for a product of distinct primes p*q we know sigma(p*q) = (p+1)*(q+1) and if p, q, are twin primes, say q = p + 2, then sigma(p*q) = (p+1)*(q+1) = (p+1)*(p+3). - Jonathan Vos Post, Feb 21 2006
Also the area of twin prime rectangles. A twin prime rectangle is a rectangle whose sides are components of twin prime pairs. E.g., the twin prime pair (3,5) produces a 3 X 5 unit rectangle which has area 15 square units. - Cino Hilliard, Jul 28 2006
Except for 15, a product of twin primes is of the form 36k^2 - 1 (cf. A136017, A002822). - Artur Jasinski, Dec 12 2007
A072965(a(n)) = 1; A072965(m) mod A037074(n) > 0 for all m. - Reinhard Zumkeller, Jan 29 2008
The number of terms less than 10^(2n) is A007508(n). - Robert G. Wilson v, Feb 08 2012
If m is the product of twin primes, then sigma(m) = m + 1 + 2*sqrt(m + 1), phi(m) = m + 1 - 2*sqrt(m + 1). pmin(m) = sqrt(m + 1) - 1, pmax(m) = sqrt(m + 1) + 1. - Wesley Ivan Hurt, Jan 06 2013
Semiprimes of the form 4*k^2 - 1. - Vincenzo Librandi, Apr 13 2013

			a(2)=35 because 5*7=35, that is (5,7) is the 2nd pair of twin primes.

Albert A. Mullin, "Bicomposites, twin primes and arithmetic progression", Abstract 04T-11-48, Abstracts of AMS, Vol. 25, No. 4, 2004, p. 795.

T. D. Noe, Table of n, a(n) for n = 1..10000

Cf. A000010, A000203, A001359, A006512, A014574, A136017, A074480 (multiplicative closure), A209328.
Cf. A071700 (subsequence).
Cf. A075369.

a037074 = subtract 1 . a075369  -- Reinhard Zumkeller, Feb 10 2015
-- Reinhard Zumkeller, Feb 10 2015, Aug 14 2011

[p*(p+2): p in PrimesUpTo(1000) | IsPrime(p+2)];  // Bruno Berselli, Jul 08 2011

IsSemiprime:=func; [s: n in [1..500] | IsSemiprime(s) where s is 4*n^2-1]; // Vincenzo Librandi, Apr 13 2013

ZL:=[]: for p from 1 to 863 do if (isprime(p) and isprime(p+2) ) then ZL:=[op(ZL),(p*(p+2))]; fi; od; print(ZL); # Zerinvary Lajos, Mar 07 2007
for i from 1 to 150 do if ithprime(i+1) = ithprime(i) + 2 then print({ithprime(i)*ithprime(i+1)}); fi; od; # Zerinvary Lajos, Mar 19 2007

s = Select[ Prime@ Range@170, PrimeQ[ # + 2] &]; s(s + 2) (* Robert G. Wilson v, Feb 21 2006 *)
(* For checking large numbers, the following code is better. For instance, we could use the fQ function to determine that 229031718473564142083 is in this sequence. *) fQ[n_] := Block[{fi = FactorInteger[n]}, Last@# & /@ fi == {1, 1} && Differences[ First@# & /@ fi] == {2}]; Select[ Range[750000], fQ] (* Robert G. Wilson v, Feb 08 2012 *)
Times@@@Select[Partition[Prime[Range[500]],2,1],Last[#]-First[#]==2&] (* Harvey P. Dale, Oct 16 2012 *)

g(n) = for(x=1,n,if(prime(x+1)-prime(x)==2,print1(prime(x)*prime(x+1)","))) \\ Cino Hilliard, Jul 28 2006

a(n) = A001359(n)*A006512(n). A000010(a(n))*A000203(a(n)) = (a(n)-3)*(a(n)+1). - Jonathan Vos Post, Feb 21 2006
a(n) = (A014574(n))^2 - 1. a(n+1) = (6*A002822(n))^2 - 1. - Lekraj Beedassy, Sep 02 2006
a(n) = A075369(n) - 1. - Reinhard Zumkeller, Feb 10 2015
Sum_{n>=1} 1/a(n) = A209328. - Amiram Eldar, Nov 20 2020
A000010(a(n)) == 0 (mod 8). - Darío Clavijo, Oct 26 2022

More terms from Erich Friedman

A038509 Composite numbers congruent to +-1 mod 6.

Original entry on oeis.org

25, 35, 49, 55, 65, 77, 85, 91, 95, 115, 119, 121, 125, 133, 143, 145, 155, 161, 169, 175, 185, 187, 203, 205, 209, 215, 217, 221, 235, 245, 247, 253, 259, 265, 275, 287, 289, 295, 299, 301, 305, 319, 323, 325, 329, 335, 341, 343, 355, 361, 365, 371, 377, 385

Offset: 1

Jeff Burch

Or, composite numbers with smallest prime factor >= 5.
Or, nonprime numbers n such that binomial(n+3, 3) mod n == 1. - Hieronymus Fischer, Sep 30 2007
Note that the primes > 3 are congruent to +-1 mod 6.
This sequence differs from A067793 (composite n such that phi(n) > 2n/3) starting at 385. Numbers in this sequence but not in A067793 are 385, 455, 595, 665, 805, 1015, 1085, 1925, 2275, 2695, etc. See A069043. - R. J. Mathar, Jun 08 2008 and Zak Seidov, Nov 02 2011
Intersection of A002808 and A007310. - Reinhard Zumkeller, Jun 30 2012
The product (24/25) * (36/35) * (48/49) * (54/55) * (66/65) * (78/77) * (84/85) * (90/91) * ... * ((6*k)/a(n)) * ... = Pi^2/(6*sqrt(3)), where 6*k is the nearest number to a(n), with k in A067611 but not in A002822. (See A258414.) - Dimitris Valianatos, Mar 27 2017

Reinhard Zumkeller, Table of n, a(n) for n = 1..10000

Cf. A171993 (nonprimes of the form 3*k+-1).
Cf. A000040, A133620-A133625, A133630, A133634-A133636.
Cf. A133873, A133883, A133880, A133890, A133900, A133910.
Cf. A069043, A067793 (composite n such that phi(n) > 2n/3).

a038509 n = a038509_list !! (n-1)
a038509_list = [x | x <- a002808_list, gcd x 6 == 1]
-- Reinhard Zumkeller, Aug 05 2014, Jun 30 2012

A038509 := proc(n)
    option remember;
    if n = 1 then
        25;
    else
        for a from procname(n-1)+1 do
            if not isprime(a) and modp(a,6) in {1,5} then
                return a;
            end if;
        end do:
    end if;
end proc:
seq(A038509(n),n=1..30) ; # R. J. Mathar, Feb 28 2020

Select[Range[1000], FactorInteger[#][[1,1]] >= 5 && ! PrimeQ[#] &] (* Robert G. Wilson v, Dec 19 2009 *)
With[{nn=400},Select[Rest[Complement[Range[nn],Prime[Range[ PrimePi[ nn]]]]], MemberQ[ {1,5},Mod[#,6]]&]] (* Harvey P. Dale, Feb 21 2013 *)
Select[Range[400],CompositeQ[#]&&MemberQ[{1,5},Mod[#,6]]&] (* Requires Mathematica version 10 or later *) (* Harvey P. Dale, May 13 2019 *)

is(n)=gcd(n,6)==1 && !isprime(n) && n>7 \\ Charles R Greathouse IV, Nov 20 2012

a(n) ~ 3n. - Charles R Greathouse IV, Nov 20 2012

More terms from Robert G. Wilson v, Dec 19 2009

Entry revised by N. J. A. Sloane, Dec 31 2011, at the suggestion of Gary Detlefs

A040040 Average of twin prime pairs (A014574), divided by 2. Equivalently, 2a(n)-1 and 2a(n)+1 are primes.

Original entry on oeis.org

2, 3, 6, 9, 15, 21, 30, 36, 51, 54, 69, 75, 90, 96, 99, 114, 120, 135, 141, 156, 174, 210, 216, 231, 261, 285, 300, 309, 321, 330, 405, 411, 414, 429, 441, 510, 516, 525, 531, 546, 576, 615, 639, 645, 651, 660, 714, 726, 741, 744, 804, 810, 834, 849, 861, 894

Offset: 1

N. J. A. Sloane

Intersection of A005097 and A006254. - Zak Seidov, Mar 18 2005
The only possible pairs for 2a(n)+-1 are prime/prime (this sequence), not prime/not prime (A104278), prime/notprime (A104279) and not prime/prime (A104280), ... this sequence + A104280 + A104279 + A104278 = the odd numbers.
These numbers are never k mod (2k+1) or (k+1) mod (2k+1) with 2k+1 < a(n). - Jon Perry, Sep 04 2012
Excluding the first term, all remaining terms have digital root 3, 6 or 9. - J. W. Helkenberg, Jul 24 2013
Positive numbers x such that the difference between x^2 and adjacent squares are prime (both x^2-(x-1)^2 and (x+1)^2-x^2 are prime). - Doug Bell, Aug 21 2015

T. D. Noe, Table of n, a(n) for n = 1..10001

Cf. A001359, A006512, A014574, A054735, A111046, A045753 (even terms halved), A002822 (terms divided by 3).
Cf. A221310.
Cf. A260689, A264526.

a040040 = flip div 2 . a014574  -- Reinhard Zumkeller, Nov 17 2015

P := select(isprime,[$1..1789]): map(p->(p+1)/2, select(p->member(p+2,P),P)); # Peter Luschny, Mar 03 2011

Select[Range[900], And @@ PrimeQ[{-1, 1} + 2# ] &] (* Ray Chandler, Oct 12 2005 *)

p=2; forprime(b=3, 1e4, if(b-p==2, print1((p+1)/2", ")); p=b) \\ Altug Alkan, Nov 10 2015

a(n) = A014574(n)/2 = A054735(n+1)/4 = A111046(n+1)/8.
For n > 1, a(n) = 3*A002822(n-1). - Jason Kimberley, Nov 06 2015
A260689(a(n),1) = A264526(a(n)) = 1. - Reinhard Zumkeller, Nov 17 2015
From Michael G. Kaarhus, Aug 19 2022: (Start)
a(n) = (A001359(n) + 1)/2.
a(n) = (A006512(n) - 1)/2.
For n > 1, a(n) = A167379(n-1) * 3/2. (End)

More terms from Cino Hilliard, Oct 21 2002
Title corrected by Daniel Forgues, Jun 01 2009
Edited by Daniel Forgues, Jun 21 2009
Comment corrected by Daniel Forgues, Jul 12 2009

A054735 Sums of twin prime pairs.

Original entry on oeis.org

8, 12, 24, 36, 60, 84, 120, 144, 204, 216, 276, 300, 360, 384, 396, 456, 480, 540, 564, 624, 696, 840, 864, 924, 1044, 1140, 1200, 1236, 1284, 1320, 1620, 1644, 1656, 1716, 1764, 2040, 2064, 2100, 2124, 2184, 2304, 2460, 2556, 2580, 2604, 2640, 2856, 2904

Offset: 1

Enoch Haga, Apr 22 2000

(p^q)+(q^p) calculated modulo pq, where (p,q) is the n-th twin prime pair. Example: (599^601)+(601^599) == 1200 mod (599*601). - Sam Alexander, Nov 14 2003
El'hakk makes the following claim (without any proof): (q^p)+(p^q) = 2*cosh(q arctanh( sqrt( 1-((2/p)^2) ) )) + 2cosh(p arctanh( sqrt( 1-((2/q)^2) ) )) mod p*q. - Sam Alexander, Nov 14 2003
Also: Numbers N such that N/2-1 and N/2+1 both are prime. - M. F. Hasler, Jan 03 2013
Excluding the first term, all remaining terms have digital root 3, 6 or 9. - J. W. Helkenberg, Jul 24 2013
Except for the first term, this sequence is a subsequence of A005101 (Abundant numbers) and of A008594 (Multiples of 12). - Ivan N. Ianakiev, Jul 04 2021

			a(3) = 24 because the twin primes 11 and 13 add to 24.

Reinhard Zumkeller, Table of n, a(n) for n = 1..10000
Nicholas John Bizzell-Browning, LIE scales: Composing with scales of linear intervallic expansion, Ph. D. Thesis, Brunel Univ. (UK, 2024). See p. 144.
El'hakk, Page of the time traveler [Archived copy on web.archive.org, as of Oct 28 2009.]

Cf. A001359, A006512, A014574, A040040, A111046.

a054735 = (+ 2) . (* 2) . a001359  -- Reinhard Zumkeller, Feb 10 2015

ZL:=[]:for p from 1 to 1451 do if (isprime(p) and isprime(p+2)) then ZL:=[op(ZL),p+(p+2)]; fi; od; print(ZL); # Zerinvary Lajos, Mar 07 2007
A054735 := proc(n)
2*A001359(n)+2;
end proc: # R. J. Mathar, Jan 06 2013

Select[Table[Prime[n] + 1, {n, 230}], PrimeQ[ # + 1] &] *2 (* Ray Chandler, Oct 12 2005 *)
Total/@Select[Partition[Prime[Range[300]],2,1],#[[2]]-#[[1]]==2&] (* Harvey P. Dale, Oct 23 2022 *)

is_A054735(n)={!bittest(n,0)&&isprime(n\2-1)&&isprime(n\2+1)} \\ M. F. Hasler, Jan 03 2013

pp=1;forprime(p=1,1482, if( p==pp+2, print1(p+pp,", ")); pp=p) \\ Following a suggestion by R. J. Cano, Jan 05 2013

a(n) = 2*A014574(n) = 4*A040040(n) = A111046(n)/2.

a(n) = 12*A002822(n-1) for all n > 1. - M. F. Hasler, Dec 12 2019

Additional comments from Ray Chandler, Nov 16 2003

Broken link fixed by M. F. Hasler, Jan 03 2013

cp's OEIS Frontend

A308344 a(n) = (A001359(n+1)^2 - 1)/24, where A001359 = lesser of twin primes; or: pentagonal numbers (A000326) whose indices are twin ranks (A002822).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

PARI

Formula

A173232 Numbers k such that k and k+2 are both members of A002822.

Views

Author

Keywords

Examples

Crossrefs

Programs

PARI

Extensions

A172052 a(n)=abs(A171696(n)-A002822(n)).

Views

Author

Keywords

Comments

Crossrefs

Extensions

A326228 Primes p such that m - p#/6 or p#/6 - n is not in A002822 (twin ranks), where m (resp. n) is the next larger (resp. smaller) twin rank w.r.t. p#/6, and # = A034386 (primorial).

Views

Author

Keywords

Comments

Crossrefs

Programs

PARI

A001359 Lesser of twin primes.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Haskell

Magma

Maple

Mathematica

PARI

Python

Formula

A014574 Average of twin prime pairs.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

GAP

Haskell

Maple

Mathematica

Maxima

PARI

Formula

Extensions

A037074 Numbers that are the product of a pair of twin primes.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

A040040 Average of twin prime pairs (A014574), divided by 2. Equivalently, 2a(n)-1 and 2a(n)+1 are primes.