Concept

Mertens constant

The constant 0.2615 by which the sum of the reciprocals of the primes up to x exceeds log log x. Franz Mertens proved in 1874 that the difference converges, and the constant fixes the average number of distinct prime factors of a whole number.

Named by 3 essays across 2 fields — each of them below, with the objects they name alongside it.

How many different primes divide a number up to ten million. The share of numbers up to 10⁷ with each count of distinct prime factors (6.7%, 25.4%, 36.4%, 23.9%, 6.9%, 0.7%, 0.0%, 0.0%), against the Erdős–Kac normal curve with mean and variance 2.78.

How many primes a typical number has

A typical number near N has about log log N different prime factors, and the count is spread around that in a bell curve whose variance is log log N as well. Both facts are theorems. Neither is visible at any size anyone can count: up to ten million the average is right and the spread is less than half what the limit says.

number · Unique factorisation
The same bell on numbers, on primes less one, and on squares plus one. Standardised ω histograms: integers ≤ 2·10^7, p − 1 for p ≤ 2·10^7, n² + 1 for n ≤ 2·10^6.

The same bell on thinner sets

A typical whole number has about log log N prime factors, spread in a bell curve. That was a theorem about all numbers, built on the picture of each prime dividing independently. The numbers one less than a prime, and the numbers n² + 1, are far too thin for that picture to have any obvious claim on them, and on both the same bell appears — with means shifted by constants that come straight from how often each small prime divides them. The squares plus one that are prime, the case of a single factor, number 102,205 up to n = two million against 102,302 predicted; whether there are infinitely many is open.

number · Unique factorisation
The share of numbers beginning with 1, never settling. 10^1.0: 0.2000, 10^1.8: 0.1746, 10^2.3: 0.5487, 10^2.8: 0.1841, 10^3.3: 0.5231, 10^3.8: 0.1931, 10^4.3: 0.5002, 10^4.7: 0.2022, 10^5.2: 0.4766, 10^5.7: 0.2117, 10^6.2: 0.4519, 10^6.7: 0.2217, 10^7.2: 0.4261, 10^7.7: 0.2321, 10^8.2: 0.3990, 10^8.7: 0.2431, 10^9.2: 0.3707, 10^9.6: 0.2545, 10^10.1: 0.3411, 10^10.6: 0.2665, 10^11.1: 0.3100, 10^11.6: 0.2791.

A share that depends on the average

What share of the whole numbers begin with the digit 1? Counted up to N, the answer swings between one ninth and five ninths for ever, and averaging the swing over N, even three times over, narrows it without removing it. Weight each number n by 1/n instead and the share settles at log₁₀ 2 — Benford's value — and so does every other sensible weighting that counts each decade alike. The primes behave the same way. Benford's law for the counting numbers is not a fact about them; it is a fact about how they are averaged.

probability · Central limit

Named alongside it

The objects these essays reach for when they reach for this one.

Normal orderPrime factorisationSieveCentral limit theoremConvergence rateEquidistributionLimitLogarithmNormal distributionPrime number theoremQuadratic residueSquarefree

All concepts