OFFSET
1,1
COMMENTS
Since the digital root of n lies in {1..9}, every term has between 1 and 9 distinct prime factors. The sequence is infinite: by Dirichlet's theorem there are infinitely many primes p == 1 (mod 9), and each such prime has exactly one distinct prime factor and digital root 1, hence belongs to the sequence.
For each d from 1 to 9, there are infinitely many terms k with A001221(k) = A010888(k) = d. - Robert Israel, Jul 08 2026
EXAMPLE
56 = 2^3 * 7 has 2 distinct prime factors {2, 7}; digital root of 56 is 5+6 = 11, then 1+1 = 2; since 2 = 2, 56 is a term.
120 = 2^3 * 3 * 5 has 3 distinct prime factors; digital root is 1+2+0 = 3; since 3 = 3, 120 is a term.
MAPLE
q:= x-> is(((x-1) mod 9)+1=nops(ifactors(x)[2])):
select(q, [$2..397])[]; # Alois P. Heinz, Jul 07 2026
MATHEMATICA
Select[Range[400], PrimeNu[#] == (Mod[# - 1, 9] + 1) &]
PROG
(PARI) select(n->omega(n)==(n-1)%9+1, [1..400])
(Python) from sympy import primefactors
print([n for n in range(1, 400) if len(primefactors(n)) == 1+(n-1)%9])
CROSSREFS
KEYWORD
nonn,base,easy,new
AUTHOR
Alexander Pokorny, Jul 07 2026
STATUS
approved
