The problem
begins . Among the first ten digits after the decimal point, appears three times and 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 have this property?[1] [2]
Does have the long-run digit balance called normality? We do not know. For a decimal normal number, each digit's share approaches one tenth, and each chosen two-digit pattern's share approaches one hundredth, as we examine longer opening stretches of its digits.
Every fixed length must follow its corresponding rule; single-digit balance is not enough.
Take the pattern . At each digit after the decimal point, inspect that digit and the next one. Count a match when both are zero, allowing the pairs to overlap: in the hypothetical string , the pattern starts at the first and second positions. Divide the number of matches by the number of starting positions checked. Normality would mean this share approaches one hundredth, its limiting frequency. It need not equal one hundredth in any finite stretch.
Here is compact bookkeeping for that same test. Write for digit number after the decimal point, starting with in . Call the chosen digit block , and its length ; for , .
Let be the number of starting positions checked, and the count of matches. The starts run from to ; checking a length- pattern uses the first fractional digits.
The fraction is the counted share. The formula says it must approach as grows without bound, as the arrow indicates. This value means one divided by ten to the power : one tenth for a digit, one hundredth for a pair. Fix each pattern first; the condition must hold for every length and every pattern of that length. Finite counts cannot prove these infinite limits, which remain unproved for :
Each step checks one starting position. The denominator counts checked starts, not the number of digits.
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 , 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]
No proof establishes these limits for . The case is already unresolved. Neither a large finite digit census nor a successful numerical calculation using those digits controls their infinite continuation.
The 2012 paper's finite-string tests and statistical model, and the 2026 Monte Carlo experiment, address empirical behavior under their respective assumptions. They do not establish the displayed infinite limits. This page asks for base-ten normality; normality in every integer base is a stronger target.[1] [2]
Why it matters
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 's exact mathematical definition with statistical laws for its digits.[3]
The interest is in connecting explicit formulas with statistical behavior. Almost every real number is a normal number, but that theorem does not establish normality for particular constants such as . Proving it here would explain how a number fixed by geometry exhibits the digit frequencies associated with independent, equally likely choices.
There is also a connection to dynamics, the study of repeated rules: take the fractional part of , for . Decimal normality is equivalent to those points being uniformly distributed in . This connects the problem to methods for studying repeated transformations. Frequency balance still leaves 's digits computable; normality does not mean unpredictability.[3]
Research directions
1 direction to explore
Equal frequency of single decimal digits
Even the necessary first step—limiting frequency 1/10 for each individual decimal digit of π—has no proof.
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
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 ↗- Can π generate itself? A Monte Carlo analysis of 314 trillion digits
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.
- An Empirical Approach to the Normality of π
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.
- Random Generators and Normal Numbers
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.