OFFSET
1,1
COMMENTS
Dence and Pomerance showed that the asymptotic number of the terms below x is ~ c1 * x/sqrt(log(x)), where c1 = (sqrt(2*sqrt(3))/(3*Pi)) * c3^(-1/2) * (2*c3 + c4) = 0.6109136202..., c3 = Product_{primes p == 2 (mod 3)} (1 + 1/(p^2-1)), and c4 = Product_{primes p == 2 (mod 3)} (1 - 1/(p+1)^2).
LINKS
Amiram Eldar, Table of n, a(n) for n = 1..10000
Thomas Dence and Carl Pomerance, Euler's function in residue classes, in: K. Alladi, P. D. T. A. Elliott, A. Granville and G. Tenenbaum (eds.), Analytic and Elementary Number Theory, Developments in Mathematics, Vol. 1, Springer, Boston, MA, 1998, pp. 7-20, alternative link.
EXAMPLE
17 is a term since phi(17) = 16 == 4 (mod 12).
MATHEMATICA
Select[Range[300], Mod[EulerPhi[#], 12] == 4 &]
PROG
(Magma) [k:k in [1..300]| EulerPhi(k) mod 12 eq 4]; // Marius A. Burtea, Feb 14 2020
CROSSREFS
KEYWORD
nonn
AUTHOR
Amiram Eldar, Feb 14 2020
STATUS
approved