OFFSET
1,2
COMMENTS
In other words, {1} together with primes and such composite numbers n = p_i * p_j * p_k * ... * p_u, p_i <= p_j <= p_k <= ... <= p_u, where each successive prime factor (when sorted into nondecreasing order) is less than the square of the previous: (p_i)^2 > p_j, (p_j)^2 > p_k, etc.
Whenever gcd(a(i),a(j)) > 1, then a(i)*a(j) and lcm(a(i),a(j)) are also members of this sequence.
LINKS
Antti Karttunen, Table of n, a(n) for n = 1..10000
EXAMPLE
1 is present as it has an empty prime factorization, so has no two prime factors to be the "two successive prime factors" in the definition.
2 (like all primes) is present for the same general reason.
10 = 2*5 is NOT present, as 2^2 < 5.
15 = 3*5 is present, as 3^2 > 5.
25 = 5*5 (like all squares of primes) is present, as 5^2 > 5.
30 = 2*3*5 is present, as 2^2 > 3 and 3^2 > 5.
66 = 2*3*11 is NOT present, as 3^2 < 11.
MATHEMATICA
Select[Range[144], If[PrimeNu[#] < 2, True, AllTrue[Partition[FactorInteger[#][[;; , 1]], 2, 1], #1^2 > #2 & @@ # &]] &] (* Michael De Vlieger, Feb 15 2026 *)
PROG
(Scheme) ;; With Antti Karttunen's IntSeq-library.
(define A253784 (MATCHING-POS 1 1 (lambda (n) (numbers-densely-distributed? (ifactor n)))))
(define (numbers-densely-distributed? lista) (cond ((null? lista) #t) ((null? (cdr lista)) #t) ((< (A000290 (car lista)) (cadr lista)) #f) (else (numbers-densely-distributed? (cdr lista)))))
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Antti Karttunen, Jan 16 2015
STATUS
approved
