Les entiers consécutifs non premiers

Reste à trouver LE PLUS PETIT entier $n$ tel que $n,n+1,\dots,n+999$ soit tous composés (on sait que n=1001!+2 convient, mais il n’est sans doute pas le plus petit)