It seems that for each n, a(n) exists and the set An={m|n*pi(m)=phi(m)} is finite, for example A1={2,3,4,8,10,14,20,90}(elements of A1 are terms of the sequence
A037171), A2={11,13,27,39,63,122,124, 136,152,176,224,322,364,410,460,1086,1164,3432,3612},... . According to the definition, a(n) is the smallest element of An. For n<19, 3 doesn't divide a(n), is this true for all terms of the sequence?
