Sí, se centran en la mayor prime.
Si los distintos factores primos de a $n$, en orden ascendente, se $p_1,...,p_k$, entonces a partir de la
$$\prod_{i=1}^k \left(1-\frac{1}{p_i}\right)=\prod_{i=1}^k \frac{p_i-1}{p_i}$$
es claro que el numerador de la expansión del producto no será un múltiplo de $p_k$.
Pero el denominador de la expansión del producto es un múltiplo de a $p_k$, por lo tanto el factor de $p_k$ del denominador va a sobrevivir la reducción a su mínima expresión.
Por hipótesis, la reducción a su mínima expresión de los rendimientos de la fracción ${\large{\frac{1}{3}}}$, por lo tanto debemos tener $p_k=3$.
De ello se desprende que $n=(2^a)(3^b)$ donde $a$ es un entero no negativo, y $b$ es un entero positivo.
Pero si $a=0$,$\phi(n) = {\large{\frac{2}{3}}}n$, por lo tanto debemos tener $a > 0$.
Por último, si $n=(2^a)(3^b)$ donde $a,b$ son enteros positivos, se comprueba fácilmente que $\phi(n) = {\large{\frac{1}{3}}}n$.