$\gcd(n!+1, n!\times 2 + 1)=1$ but neither $n!+1$ nor $n!\times 2 + 1$ is divisible by any prime less than or equal to $n$.
so there must always be two primes larger than any $n$-- one that divides $n!+1$ and another to divide $n!\times 2 + 1$.
ANd as $n$ is unbounded so are the primes larger than $n$.
.....
But you didn't really need the awkward theorem.
Its enough to point out that $n!+1$ is not divisible by any prime less than or equal to $n$
......
But even that is overkill. The classic way, the way Euclid did it, is that if you have any finite list of primes, $A$, then $1+\prod_{p\in A}p $ is not divisible by any prime in the list so there must be primes not on the list so no finite list is complete.
Sometimes the classics are best.