2.9: The Prime Number Theorem
We have already observed that there are 4 primes less than 10, 25 primes less than 100, and 168 primes less than 1000. And there are 78 498 primes less than 10 6 . So
40% of integers < 10 are prime;
25% of integers < 100 are prime;
16.8% of integers < 1000 are prime; and
7.8498% of integers < 10 6 are prime.
In other words, the fraction of integers which are prime numbers diminishes as we go up.
The first question to ask is whether prime numbers themselves “run out” at some stage, or whether they go on for ever. The answer is very like that for the counting numbers, or positive integers 1, 2, 3,4, 5,...:
the counting process certainly gets started (with 1); and no matter how far we go, we can always “add 1” to get a larger counting number.
Hence we conclude that the counting numbers “go on for ever”.
Problem 76
(a) (i) Start the process of generating prime numbers by choosing your favorite small prime number and call it p 1 .
(ii) Then define .
(b) (i) Since , n 1 must be divisible by some prime. Explain why p 1 is not a factor of n 1 . (What is the remainder when we divide n 1 by p 1 ?)
(ii) Let p 2 be the smallest prime factor of n 1 .
(iii) Define
(c) (i) Since n 2 > 1, n 2 must be divisible by some prime. Explain why p 1 and p 2 are not factors of n 2 . (What is the remainder when we divide n 1 by p 1 , or by p 2 ?)
(ii) Let p 3 be the smallest prime factor of n 2 .
(iii) Define
(d) Suppose we have constructed k distinct prime numbers p 1 , p 2 , p 3 , ... , p k . Explain how we can always construct a prime number p k+1 different from .
(e) Apply the above process with p 1 = 2 to find p 2 , p 3 , p 4 , p 5 .
Once we know that the prime numbers go on for ever, we would like to have a clearer idea as to the frequency with which prime numbers occur among the positive integers. We have already noted that
- there are 4 primes between 1 and 10,
- and again 4 primes between 10 and 20;
- but there is only 1 prime in the 90s;
- and then 4 primes between 100 and 110.
- And there are no primes at all between 200 and 210.
In other words, the distribution of prime numbers seems to be fairly chaotic. Our understanding of the full picture remains fragmentary, but we are about to see that the apparent chaos in the distribution of prime numbers conceals a remarkable pattern just below the surface.
The next item is only an experiment; but it is a very suggestive experiment. It is artificial, in that what you are invited to count has been carefully chosen to point you in the right direction. The resulting observation is generally referred to as the Prime Number Theorem. The result was conjectured by Legendre (1752–1833) and by Gauss (1777–1855) in the late 1790s – and was proved 100 years later (independently and almost simultaneously) in 1896 by the French mathematician Hadamard (1865–1963) and by the Belgian mathematician de la Vallée Poussin (1866–1962). You will need to access a list of prime numbers up to 5000 say.
Problem 77 Let denote the number of prime numbers : so , , , . You are invited to count the number of primes up to certain carefully chosen numbers, and then to study the results. The pattern you should notice works just as well for other numbers – but is considerably harder to spot.
The special values we choose for “ x ” are
the next integer above successive powers of the special number e ,
where e is an important constant in mathematics – an irrational number whose decimal begins 2.7182818 · · ·, and which has its own button on most calculators (see Problem 248 ).
(a) Complete the following table.
| n | e n | next integer N | π ( N ) |
|---|---|---|---|
| 1 | 2.718⋯ | 3 | 2 |
| 2 | 7.389⋯ | ||
| 3 | 20.08⋯ | ||
| 4 | 54.59⋯ | ||
| 5 | 148.41⋯ | ||
| 6 | 403.42⋯ | ||
| 7 | 1096.63⋯ | ||
| 8 | 2980.95⋯ | ||
| 9 | 8103.08⋯ | 1019 |
(b) Find an expression that seems to specify as a function of n . Hence conjecture an expression for in terms of x .
Durch planmassiges Tattonieren.
[Through systematic fumbling.]
Carl Friedrich Gauss (1777-1855),
when asked how he came to make so many profound discoveries in mathematics.