MethodMath
Ask
Join
HomeTopicsAskAlerts
Profile

© 2026 MethodMath. Built for mathematical knowledge sharing.

AboutContactGuidelinesPrivacyTermsCookies
Oliver Grant
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_np1​,p2​,…,pn​ are all the primes. Consider N=p1p2⋯pn+1N = p_1 p_2 \cdots p_n + 1N=p1​p2​⋯pn​+1. Then NNN is either prime or has a prime factor not in our list, contradiction.

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

1 answers242 views

1 Answer

4
Sarah Jenkins
Sarah Jenkins
Apr 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.
1 comment
Emma WhitfieldApr 14, 2026
The connection between Laplace and Fourier is much clearer now. The damping factor $e^{-\sigma t}$ explains why Laplace handles unstable systems.
Still unsure? Join to comment or ask a follow-up.
Login or Register to post your answer

Suggested questions

How to prove that √2 is irrational by contradiction?

2582

Intuitive geometric interpretation of the Mean Value Theorem

1567

How to prove a Cauchy sequence converges in ℝ?

1528

Why does 0 factorial equal 1 instead of 0? Simple proof

31.4k

Does the Banach-Steinhaus theorem hold for non-complete normed spaces?

31.1k