Deje $s_n = \sum_{i=1}^{n-1} i!$ y deje $g_n = \gcd (s_n, n!)$. Entonces es fácil ver que $g_n$ divide $g_{n+1}$. El primer par de valores de $g_n$, a partir de $n=2$ se $1, 3, 3, 3, 9, 9, 9, 9, 9, 99$ donde $g_{11}=99$. A continuación, $g_n=99$ para $11\leq n\leq 100,000$.
Tenga en cuenta que si $n$ divide $s_n$,, a continuación, $n$ divide $g_m$ para todos los $m\geq n$. Si $n$ no divide $s_n$,, a continuación, $n$ no divide $s_m$ cualquier $m\geq n$.
Si $p$ es un primer dividiendo $g_n$ pero no dividiendo $g_{n-1}$ entonces $p=n$, para los si $p<n$ entonces $p$ divide $(n-1)!$ y, por tanto, $p$ divide $s_n-(n-1)!=s_{n-1}$, de donde $p$ divide $g_{n-1}$.
Así que para mostrar que $g_n\rightarrow \infty$ es suficiente para demostrar que existen infinitos números primos $p$ tal que $1!+2!+\cdots +(p-1)! \equiv 0$ (mod $p$).