Demostrar que existe una secuencia de enteros positivos no acotada $a_1\leq a_2\leq a_3\leq\cdots$ , tal que existe un entero positivo $M$ con la siguiente propiedad: para cualquier entero $n\geq M$ , si $n+1$ no es primo, entonces cualquier divisor primo de $n!+1$ es mayor que $n+a_n$ .