|New record prime: 274,207,281-1 with 22,338,618 digits by Cooper, Woltman, Kurowski, Blosser & GIMPS (7 Jan 2016).|
If you understand the terms convergence and divergence, then jump to section four below.1 1 1 1 1 1 1 1 1 - + - + - + - + -- + -- + -- + -- + -- + 2 3 5 7 11 13 17 19 23 . . .
(1,2), (2,3), (3,5), (4,7), (5,11), (6,13), (7,17), ...Similarly all infinite subsets of the integers are countable sets--so this notion does not help us much!
1/1 + 1/4 + 1/9 + 1/16 + 1/25 + 1/36 + ...As we add up more and more terms of this series, the sum gets arbitrarily close to /6 (here is the ratio of the circumference to the diameter of a circle). So we say the series converges to /6.
For a second example consider the series
0.9 + 0.09 + 0.009 + 0.0009 + 0.00009 + 0.000009 + . . .This series clearly converges to one.
Next, consider the sum of the reciprocals of the positive integers (this is called the harmonic series):
1/1 + 1/2 + 1/3 + 1/4 + 1/5 + 1/6 + 1/7 + 1/8 + ...As we add up more and more terms of this series the sum just keep getting larger--larger than any predetermined constant. (So if we add enough terms the sum is larger than 10, larger than 1010, larger than 101000000...). When this happens we say the series diverges.
If you have trouble seeing that the harmonic series diverges, think of it this way:
(where each set of parenthesis stops at a reciprocal of a power of two.) Replacing the terms in each set of parenthesis by the smallest term (in those parenthesis) we get a smaller sum:1/1 + 1/2 + 1/3 + 1/4 + 1/5 + 1/6 + 1/7 + 1/8 + ... = ( 1/1 ) + ( 1/2 ) + ( 1/3 + 1/4 ) + ( 1/5 + 1/6 + 1/7 + 1/8 ) + ...
which clearly gets arbitrarily large!1/1 + 1/2 + 1/3 + 1/4 + 1/5 + 1/6 + 1/7 + 1/8 + ... > ( 1/1 ) + ( 1/2 ) + ( 1/4 + 1/4 ) + ( 1/8 + 1/8 + 1/8 + 1/8 ) + ... = 1/1 + 1/2 + 1/2 + 1/2 + 1/2 + ...
We will show below that the sum of the reciprocals of the primes diverges, so the primes are a "large" subset of the integers. This is a simple consequence of the prime number theorem, but much more elementary proofs are available (e.g., [Ribenboim88 pp. 156-7]). On the other hand, it is conjectured that there are infinitely many twin primes (this is the twin prime conjecture, most everybody believes it is true--we just do not have a proof yet). Nevertheless, it has been proven the sum of the reciprocals of the twin primes is about is 1.90216054...(this is called Brun's constant). So the twin primes are only a "small" subset of the integers (in this sense).
To see the sum of the reciprocals of the primes diverge we will follow [HW79 p16-17] and start by bounding N(x) which is the number of positive integers n less than x which are divisible only by primes among the first i primes. We can write any such n as k.m2 where k is square free. Since there are just i primes which could divide k, we know there are exactly 2i choices of k (each of the i primes is either used or it is not). Also m2 < n < x, so we have N(x) < sqrt(x).2i.
Now suppose the sum of the reciprocals of the primes converges, then there is an integer i such that remainder after the first i terms (the "tail" of the series) is less than one half:
(The denominators here are the i+1st prime, i+2nd prime and so on). The number of positive integers n less than x which are divisible by p is at most x/p, hence those divisible by any prime other than the first i primes, x - N(x), is at most1 1 1 1 1 ---- + ---- + ---- + ---- + . . . < - . p p p p 2 i+1 i+2 i+3 i+4
This gives N(x) > x/2. Combining this with our upper bound on N(x) we havex x x x x ---- + ---- + ---- + ---- + . . . < - . p p p p 2 i+1 i+2 i+3 i+4
x/2 < N(x) < sqrt(x)*2i.
But this is false for all x larger than 22i+2, completing the proof.
It is interesting to note that there is a good bound for the partial sums of the reciprocals of the primes. If we let S(x) = the sum of the reciprocals of the primes less than x, then for x > 1,
log log x < S(x) < log log x + B + 1/(log x)2where B is Euler's γ plus the sum over the primes p of (1/p + log(1-1/p)) [BS96, Thm 8.8.5]. B is about 0.261497.
Another prime page by Chris K. Caldwell <firstname.lastname@example.org>