OFFSET
1,1
COMMENTS
We can have a list of nontotients and their factorizations into two totients. A totient m is in A301587 if and only if m never occurs in this list as a divisor of the nontotients. Using the list, many totients (10, 22, 44, 46, ...) are ruled out of A301587. But generally it's hard to prove that a number is in A301587.
LINKS
Jianing Song, Table of n, a(n) for n = 1..7280 (All terms <= 10^8)
Jianing Song, Nontotients, and their factorizations into two totients
EXAMPLE
484 is here, because 484 = 22*22, and 22 is a totient while 484 isn't. Similarly, if p == 3 (mod 4) is a prime such that (p-1)^2+1 is composite, then (p-1)^2 is here.
PROG
(PARI) isA329872(n) = if(!istotient(n), my(v=divisors(n)); for(i=1, (1+#v)\2, if(istotient(v[i])&&istotient(n/v[i]), return(1))); 0); \\ improved by Jinyuan Wang, Mar 25 2023
CROSSREFS
KEYWORD
nonn
AUTHOR
Jianing Song, Nov 23 2019
STATUS
approved