For even number , if is not a totient (i.e. not in the range of Euler totient function), then is not in OEIS sequence A252502, but if is a totient, must be in A252502?
For odd number , if is not a totient (i.e. not in the range of Euler totient function), then is not in OEIS sequence A252502 (except ), but if is a totient, must be in A252502?
If this conjecture is true, then the famous conjecture that there is no such that there is only one whose Euler totient function is is also true.