Significa que el MCD(a,x)= 1
Siendo \[ a\leq x\]

Entonces
\[{\varphi_{(5)}}\]
Es igual a todos los \[ a\leq 5\]
Y que su MCD con 5 sea 1.

Entonces Phi de 5 serían |{1,2,3,4}| = 4


donde pusiste \[a\leq 5\] deberia ser \[a< 5\], no? ya que hay 4 elementos dentro del conjunto.

y cuando pones 1+n/d .. .. seria \[X= R_{1} + k *(n/d)\], con \[k \epsilon Z\]
R1 es el primer resto, que encontraste.
Digo yo, no?