Sí, cada primer se produce como un factor principal de una gran número compuesto. Supongamos hacia una contradicción que no; entonces vamos a $p_n$ ser la menos privilegiada que no se produce como un factor. Tenga en cuenta que esto significa un compuesto altamente número no puede contener ninguno de los números primos mayores de $p_n$, ya que el cambio de un primer para $p_n$ da un número más pequeño con el mismo número de divisores. Por lo tanto, esto quiere decir que todos los altamente compuesto números son de la forma
$$
2^{k_1} \cdot 3^{k_2} \cdots p_{n-1}^{k_{n-1}}.
$$
Ya hay infinitamente muchos más compuestos de números, al menos uno de los valores de $k_i$ debe ser sin límites; por lo tanto, hay un primer $p_i$ y un compuesto altamente número tal que $p_n < p_i^{\lfloor k_i/3 \rfloor }$. Pero ahora se nota que la eliminación de $\lfloor k_i/3\rfloor$ copias de la prime $p_i$ a partir de este número disminuye el número total de divisores por menos de $1/3$, mientras que la adición de la prime $p_n$ duplica su número de divisores. Esto contradice la suposición de que esta era la factorización prima de un altamente número compuesto.
Por lo tanto, $p_n$ se produce en la descomposición en factores primos de un altamente número compuesto.
Edit: Ya que esta pregunta ha recibido tanta atención, me siento como que podría ser vale la pena explicar algunas de las de la intuición detrás de esta respuesta. Recordar, un elevado número compuesto es un número que tiene más divisores de cualquier número anterior. Ahora, si
$$
p_1^{k_1} \cdots p_n^{k_n}
$$
es cualquier factorización prima de un número, ese número se han
\begin{equation}
\qquad\qquad\qquad\qquad\qquad(1 + k_1) \cdots (1 + k_n)\qquad\qquad\qquad\qquad(1)
\end{equation}
divisores de: a saber, para cada prime $p_i$ un divisor puede incluir que el primer $0, 1, \ldots, k_i$ times, que da $1 + k_i$ opciones. Tenga en cuenta que los números primos en realidad no es un factor en esta; intercambio de todas las copias de un primer con un primo que todavía no se producen en el número de hojas de la $k_i$ y por lo tanto el número de divisores sin cambios.
Por supuesto, que los números primos se producen en el número no importa para el tamaño de la serie: superior prepara a dar un número mayor.
Por lo tanto, pensamos en la construcción altamente compuesto de números como una especie de problema de optimización: multiplicando por un nuevo primer factor, se "compra" de algunos de los nuevos divisores, en el "gasto" de lo que el número más grande.
En primer lugar, tenemos un bajo coste de los factores primos para que; multiplicando por 2, 3, 5 es mucho "más barato" que multiplicar por 9999991. Sin embargo, hay una ley de los rendimientos decrecientes. La primera vez que añada un primer factor, el doble del número de divisores: en la fórmula (1), un factor de $(1 + 0)$ es sustituido por uno de la forma $(1 + 1)$. La segunda vez que lo haces, un factor de $(1 + 1)$ es reemplazado por $(1 + 2)$, proporcionando sólo un multiplicador de $\frac32$ el número de divisores.
De modo que, más y más de lo mismo, el primer factor que agrega, menos las devoluciones que salir de esa. Si se mantiene el tiempo suficiente, el mayor de los números primos se vuelven más "lucrativa". Finalmente, se han agotado tanto de la utilidad de todos los números primos por debajo de 9999991, que resulta óptimo para agregar el principal factor de 9999991. La prueba sólo hace que este precisa. Con un poco más de inquietud, se puede demostrar que, de hecho, el número de todos, no sólo de cada primer, divide altamente número compuesto.
