Solution
On peut généraliser l’exercice pour trouver nombres consécutifs non-premiers. Pour cela, on pense à la factorielle, qui apparaît naturellement. On va considérer les entiers
On voit que, pour tout , divise car divise . Ainsi, on a bien entiers consécutifs qui ne sont pas des nombres premiers.

La distance entre deux nombres premiers tendant vers ∞ nous pouvions être sûrs de trouver une série de 1000 nombres non premiers.
Le hors série 94 de tangeante consacré à Paul Erdös m’a amené également à la preuve proposée par NawzadHogan.
(n+1)!+1 étant premier, les n suivants ne l’étant pas en prenant n=1000 on trouve une série consécutives d’entiers non premiers en partant de 1001!+2 qui s’écrit quand même avec 2511 chiffres pour le premier (:-)).
J’ai l’impression qu’une question plus délicate sera de savoir quelle serait la suite de n nombres consécutifs non premiers les plus petits.