MethodMath
OG
Apr 13, 2026

Why are there infinitely many prime numbers? Proof explanation

Euclid's proof that there are infinitely many primes is famous, but I want to understand it deeply.

Assume p1,p2,,pnp_1, p_2, \ldots, p_n are all the primes. Consider N=p1p2pn+1N = p_1 p_2 \cdots p_n + 1. Then NN is either prime or has a prime factor not in our list, contradiction.

My question: Could NN itself be divisible by one of the existing primes? Euclid says no because dividing NN by any pip_i leaves remainder 11. But is that rigorous enough? And are there other proofs of infinitude of primes?

1 answers78 views
Loading comments...

1 Answer

Prof. Sarah Jenkins
Prof. Sarah JenkinsApr 14, 2026 Accepted
Euclid's proof is completely rigorous. Let me address your concerns and provide alternative proofs. **Why $N$ is not divisible by any $p_i$:** For any $p_i$ in our list: $$N = p_1 p_2 \cdots p_n + 1 = p_i \cdot (p_1 \cdots p_{i-1} p_{i+1} \cdots p_n) + 1$$ So $N = p_i \cdot k + 1$, where $k$ is an integer. Since $p_i \cdot k$ is divisible by $p_i$, and $1$ is not, $N \equiv 1 \pmod{p_i}$. Therefore $p_i \ mid N$. Now $N > 1$, so $N$ has at least one prime factor $q$. Since $q$ divides $N$ and none of the $p_i$ divide $N$, $q$ cannot be any of the $p_i$. Hence $q$ is a new prime, contradicting the assumption that the list was complete. **Alternative proofs:** 1. **Euler's proof:** $\sum_{p} \frac{1}{p}$ diverges, which would be impossible if there were finitely many primes. 2. **Topological proof (Fürstenberg):** Define a topology on $\mathbb{Z}$ using arithmetic progressions as basis. Each arithmetic progression is both open and closed. If there were finitely many primes, the set $\{-1, 1\}$ would be open, which contradicts compactness. 3. **Proof using Fermat numbers:** Fermat numbers $F_n = 2^{2^n} + 1$ are pairwise coprime. Each has at least one prime factor, so there are infinitely many primes. Euclid's proof remains the simplest and most elegant after 2300 years.
Loading comments...
Login or Register to post an answer