Math 2.0

statement theorem

Divergence of the sum of the reciprocals of the primes

Statement

The series ∑p1p\sum_{p} \frac{1}{p}, where pp runs over the prime numbers, diverges. That is, the partial sums ∑p≤x1p\sum_{p \le x} \frac{1}{p} are not bounded as x→∞x \to \infty.

Remarks

The result implies Euclid's theorem, since a finite sum is bounded. The partial sums grow like ln⁡ln⁡x\ln \ln x. More precisely, ∑p≤x1p−ln⁡ln⁡x\sum_{p \le x} \frac{1}{p} - \ln \ln x has a finite limit as x→∞x \to \infty. In contrast, the sum of 1/n21 / n^2 over all positive integers nn converges. So the primes are not as rare as the squares.

History

Euler proved the result in 1737. Erdős gave an elementary proof by upper and lower estimates.

Explanations

L1 human

The sum 12+13+15+17+111+⋯\frac{1}{2} + \frac{1}{3} + \frac{1}{5} + \frac{1}{7} + \frac{1}{11} + \cdots becomes larger than each number that you choose, if you take enough terms. It grows very slowly: the terms for the primes up to 10910^9 still give a sum less than 44.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 3 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Divisibility definition
  2. Prime number definition
  3. Divergence of the sum of the reciprocals of the primes statement

Sources

  1. Web https://en.wikipedia.org/wiki/Divergence_of_the_sum_of_the_reciprocals_of_the_primes, lead section