OFFSET
1,1
COMMENTS
This is an ascending subsequence of A056240 with even argument terms.
After the first three (even) terms, a(1) = b(2) = 2, a(2) = b(4) = 4, a(3) = b(6) = 8 respectively, all subsequent terms are odd (semiprime) numbers of the form 3*r, for r = primes 5, 7, 11, 13, .... The graph of all odd-valued terms a(n) for n >= 4 is a straight line (y = 3*x - 9), corresponding to b(2*n) = 3*(2*n) - 9 = 3*(2*n - 3) = 3*r, where r = 2*n - 3 is prime, and n is in sequence A098090. The sequence a(n) for n >= 4 is identical term for term to A001748(n) for n >= 3. In other words, for n >= 4, a(n) = 3*A000040(n-1).
If, for any even number n >= 6, n - 3 is prime, then A056240(n) belongs to this sequence.
LINKS
Paolo Xausa, Table of n, a(n) for n = 1..10000
FORMULA
a(1) = 2, a(2) = 4, a(3) = 8, and for n >= 4, a(n) = 3*A000040(n-1).
EXAMPLE
a(1) = 2 is included because for all n > 1, b(2n) > 2; likewise a(2) = b(4) = 4, and a(3) = b(6) = 8 are included. The first odd term, a(4) = b(8) = 15, is included since for all n > 4, b(2n) > 15. b(12) = 35 is not in this sequence because b(14) = 33 < 35, and only ascending terms are permitted.
MATHEMATICA
Join[{2, 4, 8}, 3*Prime[Range[3, 100]]] (* Paolo Xausa, Apr 16 2024 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
David James Sycamore, Jun 07 2017
EXTENSIONS
Offset changed to 1 and entry edited to reflect this change by Michel Marcus, Jul 03 2017
STATUS
approved