Main Page

From MWiki
Jump to: navigation, search

Welcome to MWiki

Theorem of the month

Prime number theorem

For [math]\pi(x) := |\{p \in {}^{\omega}{\mathbb{P}} : p \le x \in {}^{\omega}{\mathbb{R}}\}|[/math] holds [math]\pi(\omega) = \widehat{{_e}\omega}\omega + \mathcal{O}({_e}\omega\sqrt{\omega})[/math].

Proof:

In the sieve of Eratosthenes, the number of prime numbers decreases almost regularly. From intervals of fix length [math]y \in {}^{\omega}{\mathbb{R}_{>0}}, \hat{2}y[/math] set-2-tuples of prime numbers are formed such that the first interval has the unchanged representative prime number density and the second interval is empty, then the interval with the second most prime number density is followed by the second least one etc.

For induction basis [math]n = 2[/math] resp. 3, the induction hypothesis is that the first interval contains [math]x_n/{_e}x_n[/math] prime numbers for [math]n \in {}^{\omega}{\mathbb{N}_{\ge2}}[/math] and arbitrary [math]x_4 \in [2, 4[[/math]. Then the induction step from [math]x_n[/math] to [math]x_n^2[/math] by considering the prime gaps of prime [math]p\# /q + 1[/math] for [math]p, q \in {}^{\omega}\mathbb{P}[/math] proves that there are [math]\pi(x_n^2) = \pi(x_n) x_n/2[/math] prime numbers only from [math]\pi(x_n) = x_n/{_e}x_n[/math]. The average distance between the prime numbers is [math]{_e}x_n[/math] and the maximal [math]x_n^2[/math] to [math]x_n[/math] behaves like [math]\omega[/math] to [math]\sqrt{\omega}.\square[/math]

Recommended reading

Nonstandard Mathematics