OFFSET
1,2
COMMENTS
A subsequence of A252895, and first differs from it at n = 172. A252895(172) = 256 = 2^(2^3) is not a term of this sequence.
Equivalently, numbers that are products of "Fermi-Dirac primes" that are powers of primes with exponents that are powers of 2 with even exponents.
Products of distinct numbers of the form p^(2^(2*k)), where p is prime and k >= 0.
Numbers whose prime factorization has exponents that are positive terms of the Moser-de Bruijn sequence (A000695).
Every integer k has a unique representation as a product of 2 numbers: one is in this sequence and the other is in A366243: k = A366244(k) * A366245(k).
The asymptotic density of this sequence is 1/c = 0.65531174251481086750..., where c is given in the formula section.
LINKS
Amiram Eldar, Table of n, a(n) for n = 1..10000
FORMULA
a(n) ~ c * n, where c = Product_{k>=0} zeta(2^(2*k+1))/zeta(2^(2*k+2)) = 1.52599127273749217982... .
MATHEMATICA
mdQ[n_] := AllTrue[IntegerDigits[n, 4], # < 2 &]; Select[Range[100], AllTrue[FactorInteger[#][[;; , 2]], mdQ] &]
PROG
(PARI) ismd(n) = {my(d = digits(n, 4)); for(i = 1, #d, if(d[i] > 1, return(0))); 1; }
is(n) = {my(e = factor(n)[ , 2]); for(i = 1, #e, if(!ismd(e[i]), return(0))); 1; }
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Amiram Eldar, Oct 05 2023
STATUS
approved