Estaba leyendo una explicación acerca de que existe una infinidad de números primos que se inició como este:
Decir lo contrario hay un número finito de e $p$ es el más grande de prime. A continuación, vamos a $N$ ser el producto de todos los números primos, por lo $N=2\times3\times5\times7\times\ldots\times p$.
De los números en la lista de $1,2,3,4,5,\ldots,N-2,N-1,N$, la mitad de ellos son divisibles por $2$. Cruzamos los números de la lista, y tenemos $1,3,5,7,9$ y así sucesivamente. Luego de esos números en esta lista, un tercio de ellos son múltiplos de $3$.
Al principio pensé que el espaciado de los números que se haría de forma que no todos los 3 números consecutivos en la lista tendría exactamente 1 múltiplo de 3, pero pensaba que cada 3 consecutivos de números impares $2n+1,2n+3,2n+5$ debe tener un múltiplo de 3 porque $2n+1$ es $\equiv0,1$ o $2\pmod3$.
Bueno, luego de esta lista de sólo los números impares, se elimine todos los múltiplos de $3$, que ahora creo que es una tercera parte de los números.
A continuación, el libro afirma que de esta nueva lista (con todos los múltiplos de $2$ y todos los múltiplos $3$ tachado), exactamente una quinta parte de ellos son múltiplos de $5$. Ahora estoy atascado en cuanto a qué es exactamente una quinta parte de estos números son múltiplos de 5. Entiendo que una quinta parte de los números de la lista original, $1,2,3,\ldots, N$ son múltiplos de $5$, pero me pareció que el espaciado desigual de esta lista, con los múltiplos de $2$ $3$ eliminada, puede hacerlo de modo que no tenemos garantizado un múltiplo de $5$ cada cinco números consecutivos más. ¿Cómo sabemos que una quinta parte de los números en la nueva lista son múltiplos de $5$? (La explicación va a hacer esto con todos los números primos hasta $p$.)