Take a long list of real-world numbers and look only at the first digit of each. A 1 shows up about thirty percent of the time. A 9, less than five. The numbers are not playing fair — and there is exactly one reason they can't.
Sometime before 1881 the astronomer Simon Newcomb noticed that the logarithm books in his observatory were filthy at the front and clean at the back. People looked up numbers beginning with 1 far more often than numbers beginning with 9 — so the early pages wore out first. From a worn book he drew a law: in a table of "natural numbers," the leading digit is a 1 about 30% of the time, and the frequency falls steadily to the 9s. He published two pages on it and the world forgot.
Fifty-seven years later the physicist Frank Benford rediscovered the same wear pattern and did the work Newcomb hadn't: he counted. 20,229 numbers, gathered from twenty tables: river drainage areas, atomic weights, street addresses from the biographical directory American Men of Science, the numbers in an issue of Reader's Digest (excluding dates and page numbers). The average of the twenty tables' first-digit percentages followed the logarithmic curve closely, though individual tables differed substantially. The law now carries his name, though Newcomb had it first; it is, fittingly, an example of a law named after the wrong person.
The curve has a clean closed form. The probability that a number's first digit is d is
| digit d | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |
|---|
Two facts hide in this curve. First, it falls off fast: a leading 1 is about six times more likely than a leading 9. Second — and this is exact, not approximate — the digit 1 occurs precisely as often as 5, 6, 7, 8 and 9 put together. Both equal log₁₀2 = 30.103%, because the sum P(5)+…+P(9) telescopes to log₁₀(10/5) = log₁₀2. The first digit isn't just biased; it's biased by an amount you can write down.
A formula is one thing; the world is another. Below are four numerical snapshots extracted from public sources: population entries for 217 countries and economies, surface-area entries for 215, GDP entries for 209, and the 355 physical constants in the international reference table. The first three measure overlapping sets of countries and economies; surface area includes inland waters and some coastal waterways. These are different measurements in different units, each spanning many orders of magnitude. Each histogram is recomputed from the compacted values in your browser, with the Benford curve laid over it as a dashed line.
Here is the deep reason, and it is almost the whole story. Suppose there is some universal leading-digit law for "numbers in the wild." Whatever it is, it can't care whether you measured those rivers in miles or kilometres, those economies in dollars or yen. Switching units multiplies every number in the list by the same constant — and a law about the universe shouldn't change just because a Frenchman and an American write the same river two different ways.
That single demand — scale invariance — is enough to pin down the law completely. Lay the numbers on a logarithmic circle, where a value's position is the fractional part of its base-10 logarithm. A number leads with digit d exactly when it lands in the arc from log₁₀d to log₁₀(d+1) — and that arc has length log₁₀(1+1/d), the Benford probability, by construction. Multiplying every number by a constant rotates the whole circle. The dots move; the arc lengths do not. So the only distribution that looks the same after any rotation is the one that's uniform around the circle — and uniform-on-the-log-circle is Benford's law. Roger Pinkham argued for this in 1961, but his proof was flawed. The uniqueness statement holds for significant-digit distributions; Berger and Hill give a valid proof in Theorem 4.20. Theodore Hill's 1995 base-invariance result allows mixtures of Benford with a point mass at significand 1. Benford is unique when that point mass is excluded.
The dataset's numbers (each a dot at {log₁₀ value}) rotate bodily as you rescale them, and the sample proportion in each digit-arc can change. For the population snapshot, P(1) changes from 30.9% at c = 1 to 22.6% at c = 10−0.14. The ideal Benford probability law is scale-invariant. That does not make a finite sample's digit counts invariant.
If scale-invariance is the reason, then Benford shouldn't need "real-world" data at all — any process that smears numbers evenly across orders of magnitude should produce it. The cleanest such processes are deterministic. The powers of two — 1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024… — march across the decades at a constant logarithmic step of log₁₀2, an irrational step, so their fractional logarithms never settle into a pattern: by Weyl's equidistribution theorem they fill the log-circle perfectly evenly. Their leading digits are therefore Benford — provably, exactly. The same holds for the Fibonacci numbers and the factorials. Compute as many terms as you like (exactly, with big integers) and watch the histogram settle onto the curve.
Benford is not a law of nature, and the honest half of the story is its boundary. A wide range alone does not guarantee Benford, and several decades are not necessary. Draw U uniformly from [0,1] and set X = 10U: the result is Benford, bounded between 1 and 10, with no growth history required. Adult human heights in centimetres are nearly all 1-something, so that distribution is far from Benford. Bounds, assigned values and rounding can affect first digits, but none alone decides whether their distribution fits. Even amounts rounded to the nearest $5 can follow the first-digit law: choose 10d with probability log₁₀(1 + 1/d), for d = 1,…,9; every amount is already a multiple of five. Even the physical constants above lead with 1 a little too often (35.5% against the expected 30.1%); they still pass a χ² test, but the fit is visibly looser than the populations'. Use Benford only when there is a reason to expect its digit distribution in the data at hand.
This boundary matters because the law has a second life as a fraud detector. Fabricated numbers — invented expense reports, doctored ledgers — tend to be too uniform, or to cluster under psychological thresholds, and they fail Benford. The accountant Mark Nigrini built a career turning this into a real audit tool, and tax authorities use leading-digit tests to flag returns worth a closer look. Used as a filter — "look here first" — on data that should be Benford to begin with, it earns its keep.
Used as a verdict, it lies. The most common abuse is the viral claim that a candidate's vote counts "violate Benford's law, therefore fraud." They almost always do violate it — and that proves nothing, because precinct vote totals are exactly the kind of bounded, narrow-range data Benford does not govern. Precincts are sized to hold roughly the same number of voters, so the counts cluster in a band rather than spanning decades; a candidate with ~500 votes per precinct will show a glut of leading 4s and 5s with no fraud anywhere. In 2011 the political scientists Deckert, Myagkov, and Ordeshook showed in Political Analysis that the first-digit test is "problematical at best as a forensic tool when applied to elections" — it both misses real fraud and manufactures false alarms. A law that says one is the most frequent first digit can tell you an invoice file looks invented. It cannot tell you who won an election.
Every number on this page is recomputed in your browser from data committed in this repository, and offline by research/the-first-digit/verify.mjs — 52/52 checks pass. The verifier reproduces the law to the digit (P(d) = log₁₀(1+1/d), the telescoping identity P(1) = P(5..9) = log₁₀2); the four datasets' leading-digit counts, χ², and conformity verdicts from the raw snapshots in research/the-first-digit/data/; the deterministic sequences via exact BigInt arithmetic (powers of two, Fibonacci, factorials all land within total-variation 0.02 of Benford; the plain counting numbers 1…N pointedly do not); the scale-invariance fact (a log-uniform sample stays Benford under multiplication by 2, π, 1/1000, …); and base invariance (in hex, P(1) = log₁₆2 = 0.25).
What is checked vs. what is cited. The law and its consequences are recomputed from first principles. The datasets are numerical snapshots extracted from published figures: country populations, surface areas and GDP from the World Bank (2022, CC-BY 4.0), and the NIST CODATA reference constants (public domain). The page does not claim those figures are exact truth — only that this committed snapshot has the leading-digit distribution shown, reproducibly. The compacted snapshot's first-digit counts have been checked against the full numerical snapshots and match for all four datasets. Rounding can change a leading digit; that equality is a checked fact about these values, not a general guarantee.
Sources: Newcomb, Note on the Frequency of Use of the Different Digits in Natural Numbers (American Journal of Mathematics 4, 1881, pp. 39–40); Benford, The Law of Anomalous Numbers (Proc. American Philosophical Society 78, 1938, pp. 551–572; 20,229 observations); Pinkham, On the Distribution of First Significant Digits (Ann. Math. Statist. 32, 1961; a flawed scale-invariance argument); Hill, A Statistical Derivation of the Significant-Digit Law (Statistical Science 10, 1995) and Base-Invariance Implies Benford's Law (Proc. AMS 123, 1995); Nigrini, Benford's Law: Applications for Forensic Accounting (2012); Deckert, Myagkov & Ordeshook, Benford's Law and the Detection of Election Fraud (Political Analysis 19, 2011, pp. 245–268).
Written 2026-06-19. Claims re-read against their sources on 2026-10-14: 144 checked, 105 confirmed, 38 wrong, 0 unverifiable, 1 true when written and overtaken since (dated, not corrected). By the assay line (research/assay-line/cited-1014b/), Codex fixer directed by claude-assaying-boyle-1014; source record by Codex, checked by Codex.
This was the directed correction pass for `most-numbers-begin-with-one` at `f5e5f84f34d7d76b07341739577895b19e12ba06`, using the 40-item triage in `research/assay-line/cited-1014b/most-numbers-begin-with-one/triage.json`. The fixer re-read each triage item's evidence before changing its authored text, data or display; the 104 CONFIRMED claims below carry the named N2 checker's source re-reads and are identified as such. Counts include 29 WRONG and nine listed MINOR claims in `wrong`, one rejected finding as CONFIRMED, and the metadata-only STALE item. This record dates the pass. The repair pass records the dek-derived share-card wording as fixed through the directed landing rebuild; the old image title and four authored links in other layers remain open pending board notes.
This record is long (144 claim lines and 41 findings), so it is not part of the page until you open it. It loads here now if your browser runs scripts; otherwise, or to keep it, read the whole record as plain text.
The assay office: what a record is, and every layer re-read so far.