Esta es una pregunta bastante difícil en general. Creo que los resultados más parecidos a lo que buscas los obtuvo Kevin Ford en el primero de sus dos artículos de referencia en este ámbito: "The distribution of totients", Ramanujan J. (1998) y "The number of solutions of $\phi(x) = m$ ," Annals of Math. (1999). Ambos están disponibles en su página web . Parafraseando el Teorema 12 de El documento de Ford , más números en $\varphi(\mathbb N)$ tienen un número inusualmente alto de factores primos.
Esto no es demasiado sorprendente, dado que la mayoría de las primeras potencias $p^k \mid\mid n$ inducir al menos $k+1$ factores primos en $\varphi(n)$ ya que $p-1$ tiene al menos $2$ factores (para $p \ge 5$ ). Pero hay una estimación sorprendentemente precisa de cuántos factores adicionales se obtienen de esta manera.
Si $\Omega(n)$ cuenta el número de divisores primos de $n$ con multiplicidad (por ejemplo $\Omega(2^3\cdot 5) = 4$ ), es bien sabido que para un típico entero, $\Omega(n) \approx \log \log n$ (ver Hardy-Ramanujan o la hermosa Erdős-Kac teorema). Sin embargo, un típico $m \in \varphi(\mathbb N)$ satisface $$\Omega(m) \approx 2.186263 \log \log m,$$ donde la constante (presumiblemente trascendental) es igual a $(1-\varrho)^{-1}$ con $\varrho$ siendo la única raíz positiva de la serie de potencias $\sum_{n=0}^\infty ((n+1)\log(n+1)-n\log n-1) x^n$ .
La afirmación anterior debería indicarle dos cosas: que la estructura del conjunto $\varphi(\mathbb N)$ probablemente esté lejos de ser trivial, y también que sea algo escaso, ya que está formado en su mayoría por enteros atípicos. De hecho, el teorema principal del trabajo (Teorema 1) da el orden de magnitud preciso de la función de recuento $V(x) := \#\{n \le x : n \in \varphi(\mathbb N)\}$ . Hasta algunas constantes multiplicativas,
$$V(x) \asymp \frac{x}{\log x} \exp(C(\log \log \log x - \log \log \log \log x)^2 + D(\log \log \log x) - (D + 1/2 - 2C) \log \log \log \log x),$$
donde $C \approx 0.8178146$ y $D \approx 2.1769687$ también surgen de la serie de potencias anterior. Enunciando esta intimidante fórmula con menos precisión, también podríamos decir $$V(n) = \frac{n}{\log n} \exp(C_n \log \log \log^2 n),$$ donde $C_n \to C$ .
Así que los números que aparecen en $\varphi(\mathbb N)$ son un poco más comunes que los primos. Como es típico en la teoría probabilística de números, estos fenómenos tienden a ser extremadamente difíciles de presenciar experimentalmente, ya que $\log \log \log n$ crece tan lentamente (y con gran dignidad).