Normality of π

Still openEvidence checked

Subjects: Number theory · Analysis and dynamics

Reading depth

The problem

π\pi begins 3.1415926535…3.1415926535\ldots. Among the first ten digits after the decimal point, 55 appears three times and 00 does not appear at all. That small sample is uneven.

Call a consecutive pattern a digit block. A normal number has a particular kind of long-run balance: each digit's share approaches one tenth, each specified pair's share approaches one hundredth, and every longer fixed block has its corresponding share. Does the decimal expansion of π\pi have this property?[1] [2]

Each step checks one starting position. The denominator counts checked starts, not the number of digits.

π: count 5: a finite window count Exactly the first ten digits after the decimal point in the existing page. No digits are extended or generated. Displayed digits: 1, 4, 1, 5, 9, 2, 6, 5, 3, 5. The selected block is 5, length 1. 10 of 10 valid starts checked; 3 matches. Last start 10: 5, match. These are the retained first ten fractional digits of π. A finite count cannot prove normality. Windows advance one position at a time and overlaps count. With positive N checked starts and block length k, the used prefix has N+k−1 digits. At zero checked starts the share is undefined. The infinite-limit target 1/10 is not a required finite-sample share. Actual π prefix Ten fractional digits 1 1 2 4 3 1 4 5 5 9 6 2 7 6 8 5 9 3 10 5 Block: 5 · length: 1 3 matches / 10 starts 10 starts use 10 digits Infinite-limit target: 1/10
π: count 0: a finite window count The same exact ten fractional digits. Zero does not occur in this finite prefix; no infinite-frequency inference is made. Displayed digits: 1, 4, 1, 5, 9, 2, 6, 5, 3, 5. The selected block is 0, length 1. 10 of 10 valid starts checked; 0 matches. Last start 10: 5, no match. These are the retained first ten fractional digits of π. A finite count cannot prove normality. Windows advance one position at a time and overlaps count. With positive N checked starts and block length k, the used prefix has N+k−1 digits. At zero checked starts the share is undefined. The infinite-limit target 1/10 is not a required finite-sample share. Actual π prefix Ten fractional digits 1 1 2 4 3 1 4 5 5 9 6 2 7 6 8 5 9 3 10 5 Block: 0 · length: 1 0 matches / 10 starts 10 starts use 10 digits Infinite-limit target: 1/10
000: count 00 (illustrative): a finite window count The page's hypothetical three-digit string. Its two overlapping 00 starts use three digits; it is not a prefix of π. Displayed digits: 0, 0, 0. The selected block is 00, length 2. 2 of 2 valid starts checked; 2 matches. Last start 2: 00, match. This is an illustrative string, not π. A finite count cannot prove normality. Windows advance one position at a time and overlaps count. With positive N checked starts and block length k, the used prefix has N+k−1 digits. At zero checked starts the share is undefined. The infinite-limit target 1/100 is not a required finite-sample share. Illustrative example The string 000, not π 1 0 2 0 3 0 Start 1: 00 Start 2: 00 Block: 00 · length: 2 2 matches / 2 starts 2 starts use 3 digits Infinite-limit target: 1/100
A dashed outline marks the last checked window. Overlaps count; these finite results cannot prove π is normal.
Scope

Normality of π in base 10: limiting frequencies of every finite digit block in its infinite decimal expansion.

What remains open

We cannot yet prove that each decimal digit's share approaches one tenth in π\pi, let alone prove the right share for every pair, triple and longer pattern.

Computations examine enormous finite stretches and find evidence consistent with balance. But checking more digits alone cannot settle what happens over the entire infinite expansion. A proof must explain the long-run frequencies.[1]

Why it matters

π\pi comes from circles, not from tossing dice. Yet its digits seem to have the balance we expect from repeated random choices. Understanding why a number defined by geometry could have that balance is the appeal of this problem.

A proof would connect π\pi's exact mathematical definition with statistical laws for its digits.[3]

Research directions

1 direction to explore

Definitions

5 terms
normal number

A number whose expansion in a chosen base gives every fixed finite digit block the prescribed long-run share. In decimal, that share is one tenth for a digit, one hundredth for a pair, and so on.[2] [3]

digit block

A consecutive run of a specified number of digits. Leading zeros count: 007 is a three-digit block. Count blocks at each starting position, allowing overlaps.[2] [3]

limiting frequency

The value a counted share approaches as more starting positions are included. It need not equal the share in any finite prefix or in every small window.[1] [3]

fractional part

What remains after subtracting the greatest integer no larger than the number. For 3.14, the fractional part is 0.14.[3]

uniformly distributed

A sequence of points in the unit interval visits each fixed subinterval in a limiting share equal to its length. A subinterval of length one tenth receives one tenth of the visits in the long run.[3]

Sources

Partial results
Razeto and Rossi

Finite digit experiments support statistical balance in the tested sample. Scope: Monte Carlo constructions using a large computed prefix of π.

A finite prefix cannot establish limiting block frequencies or independence of an infinite digit stream.

Source date: 2026-08-06The paper reports numerical behavior and explicitly retains normality as unproved.Read the source ↗
  1. Can π generate itself? A Monte Carlo analysis of 314 trillion digits Alessandro Razeto and Nicola Rossi · 2026-08-06
    Notes on Can π generate itself? A Monte Carlo analysis of 314 trillion digits

    The introduction defines block-frequency normality and explicitly states that no proof is known for π; the paper studies a finite digit sample.

  2. An Empirical Approach to the Normality of π David H. Bailey, Jonathan M. Borwein, Cristian S. Calude, Michael J. Dinneen, Monica Dumitrescu and Alex Yee · 2012-12-17
    Notes on An Empirical Approach to the Normality of π

    The author-hosted journal paper defines normality, distinguishes finite empirical tests from an infinite theorem, and discusses decimal and hexadecimal expansions.

  3. Random Generators and Normal Numbers David H. Bailey and Richard Crandall · 2002
    Notes on Random Generators and Normal Numbers

    The primary paper gives the base-b definition, the equivalent equidistribution criterion, and proved normal-number constructions; π remains outside those results.

Suggest a correction