# Main Page

# Welcome to $\mathsf{Pr} \infty \mathsf{fWiki}$

If you have any questions, comments, or suggestions please post on the To see what's currently happening in the community, visit the |

**—**13,346 Definitions

**—**Help

# Featured Proof

## Theorem

The number of primes is infinite.

## Proof 1

Euclid's Theorem states that:

- For any finite set of prime numbers, there exists a prime number not in that set.

The result follows by corollary.

$\blacksquare$

## Proof 2

Define a topology on the integers $\Z$ by declaring a subset $U \subseteq \Z$ to be an open set if and only if it is either:

- the empty set $\O$

or:

- a union of sequences $S \paren {a, b}$, where:
- $S \paren {a, b} = \set {a n + b: n \in \Z} = a \Z + b$

In other words, $U$ is open if and only if every $x \in U$ admits some non-zero integer $a$ such that $S \paren {a, x} \subseteq U$.

The open set axioms are verified as follows:

$(O1): \quad$ All unions of open sets are open:

For any set of open sets $U_i$ and $x$ in their union $U$, any of the numbers $a_i$ for which $S \paren {a_i, x} \subseteq U_i$ also shows that $S \paren {a_i, x} \subseteq U$.

$(O2): \quad$ The intersection of two (and hence finitely many) open sets is open:

Let $U_1$ and $U_2$ be open sets.

Let $x \in U_1 \cap U_2$ (with integers $a_1$ and $a_2$ establishing membership).

Set $a$ to be the lowest common multiple of $a_1$ and $a_2$.

Then:

- $S \paren {a, x} \subseteq S \paren {a_i, x} \subseteq U_1 \cap U_2$

$(O3): \quad$ By definition, $\varnothing$ is open: $\Z$ is just the sequence $S \left({1, 0}\right)$, and so is open as well.

The topology is quite different from the usual Euclidean one, and has two notable properties:

- Since any non-empty open set contains an infinite sequence, no finite set can be open. Put another way, the complement of a finite set cannot be a closed set.
- The basis sets $S \left({a, b}\right)$ are both open and closed: they are open by definition, and we can write $S \left({a, b}\right)$ as the complement of an open set as follows:

- $\displaystyle S \left({a, b}\right) = \Z \setminus \bigcup_{j \mathop = 1}^{a - 1} S(a, b + j)$.

The only integers that are not integer multiples of prime numbers are $-1$ and $+1$, that is:

- $\displaystyle \Z \setminus \set {-1, + 1} = \bigcup_{p \ \text{prime}} S \left({p, 0}\right)$

By the first property, the set on the left-hand side cannot be closed.

On the other hand, by the second property, the sets $S \left({p, 0}\right)$ are closed.

So, if there were only finitely many prime numbers, then the set on the right-hand side would be a finite union of closed sets, and hence closed.

Therefore by Proof by Contradiction, there must be infinitely many prime numbers.

$\blacksquare$

## Proof 3

Aiming for a contradiction, suppose that there are only $N$ prime numbers.

- $\Bbb P = \set {p_1, p_2, \ldots, p_N}$

By the Fundamental Theorem of Arithmetic, every integer $k > 1$ can be expressed in the form:

- $k = {p_1}^{a_1} {p_2}^{a_2} \dotsm {p_N}^{a_N}$

Let $n > 1$ be fixed.

Let $a$ be the largest exponent occurring in the prime decomposition of all positive integers $k \le n$.

Then:

- $\displaystyle \sum_{k \mathop = 1}^n \frac 1 k \le \prod_{j \mathop = 1}^N \paren {\sum_{k \mathop = 0}^a \frac 1 { {p_j}^k} }$

is expressible in the form:

\((1):\quad\) | \(\displaystyle 1 + \frac 1 2 + \frac 1 3 + \dotsb + \frac 1 n\) | \(\le\) | \(\displaystyle \paren {1 + \frac 1 {p_1} + \frac 1 { {p_1}^2} + \dotsb + \frac 1 { {p_1}^a} }\) | $\quad$ | $\quad$ | ||||||||

\(\displaystyle \) | \(\) | \(\, \displaystyle + \, \) | \(\displaystyle \paren {1 + \frac 1 {p_2} + \frac 1 { {p_2}^2} + \dotsb + \frac 1 { {p_2}^a} }\) | $\quad$ | $\quad$ | ||||||||

\(\displaystyle \) | \(\) | \(\, \displaystyle + \, \) | \(\displaystyle \ \dotsb\) | $\quad$ | $\quad$ | ||||||||

\(\displaystyle \) | \(\) | \(\, \displaystyle + \, \) | \(\displaystyle \paren {1 + \frac 1 {p_N} + \frac 1 { {p_N}^2} + \dotsb + \frac 1 { {p_N}^a} }\) | $\quad$ | $\quad$ |

which can be seen by multiplying out the factors on the right hand side.

But from Sum of Infinite Geometric Progression:

- $1 + x + x^2 + \dotsb = \dfrac 1 {1 - x}$

for all $x$ such that $\left\vert{x}\right\vert < 1$.

Thus the factors in $(1)$ are less than the numbers:

- $\dfrac 1 {1 - 1 / p_1}, \dfrac 1 {1 - 1 / p_2}, \dotsb, \dfrac 1 {1 - 1 / p_N}$

and so:

- $1 + \dfrac 1 2 + \dfrac 1 3 + \dotsb + \dfrac 1 n < \dfrac {p_1} {p_1 - 1} \dfrac {p_2} {p_2 - 1} \dotsm \dfrac {p_N} {p_N - 1}$

We have chosen $n > 1$ arbitrarily, so this holds for every $n > 1$.

This contradicts the result Harmonic Series is Divergent.

Hence the result, by Proof by Contradiction.

$\blacksquare$

## Proof 4

Aiming for a contradiction, suppose there exist only a finite number of primes.

From Sum of Reciprocals of Powers as Euler Product:

- $\displaystyle \sum_{n \mathop \ge 1} \dfrac 1 {n^z} = \prod_p \frac 1 {1 - p^{-z} }$

When $z = 1$ this gives:

- $\displaystyle \sum_{n \mathop \ge 1} \dfrac 1 n = \prod_p \frac 1 {1 - 1/p}$

As by hypothesis there exist only a finite number of primes, the right hand side is also finite.

But from Harmonic Series is Divergent, the left hand side diverges to infinity.

The result follows by Proof by Contradiction.

$\blacksquare$

## Sources

- 2008: Ian Stewart:
*Taming the Infinite*... (previous) ... (next): Chapter $7$: Patterns in Numbers