MathLabs

Open problem, Arithmetic and number theory, Probability and statistics, posed 1909

Normality of π

Open

Is π\pi a normal number in base 1010 (or in every integer base b≥2b \ge 2) — that is, in the base-bb expansion of π\pi, does every finite block of kk digits occur with limiting asymptotic frequency b−kb^{-k}?

Research frontier as of 2026

As of 2026, the normality of π\pi remains completely open in every base b≥2b \ge 2. Computations of π\pi past 101410^{14} decimal digits reveal no statistically significant deviation from the uniform frequency 10−k10^{-k} for short digit blocks, and the Bailey–Crandall (2001) framework reduces base-22 normality of BBP-type constants to equidistribution of perturbed doubling maps xn=(2xn−1+rn) mod 1x_n = (2 x_{n-1} + r_n) \bmod 1. While Bailey and Crandall succeeded in proving normality for explicit Stoneham-type constants such as α2,3=∑k=1∞13k23k\alpha_{2,3} = \sum_{k=1}^\infty \frac{1}{3^k 2^{3^k}} where the denominators grow lacunarily, the linear denominator polynomial 8k+j8k+j in the BBP series for π\pi lacks the lacunarity needed to bound Weyl exponential sums unconditionally.

Best known results

  • Borel (1909): the set of real numbers that fail to be normal in every integer base b≥2b \ge 2 has Lebesgue measure 00.
  • Bailey and Crandall (2001): π\pi is normal in base 22 and base 1616 if the sequence xn=(16xn−1+120n2−89n+16512n4−1024n3+712n2−206n+21) mod 1x_n = (16 x_{n-1} + \frac{120n^2 - 89n + 16}{512n^4 - 1024n^3 + 712n^2 - 206n + 21}) \bmod 1 with x0=0x_0 = 0 is equidistributed in [0,1)[0, 1).

Tools and where they stop

ToolAchievedWhere it stops
BBP digit-extraction formulas and Weyl equidistribution (Bailey–Crandall)Translates base-1616 normality of π\pi into equidistribution of an explicit 1D recurrence and proves normality for lacunary BBP-like constantsFor π\pi, the perturbation term rn=O(n−2)r_n = O(n^{-2}) is non-lacunary, so iterated powers 16n−k16^{n-k} amplify errors before Weyl sums can be averaged
Multi-trillion-digit computation and statistical randomness testingConfirms empirical equidistribution of digits and short blocks across more than 101410^{14} decimal and hexadecimal digits of π\piNormality is an asymptotic property as N→∞N \to \infty; any finite prefix of digits is compatible with both normality and complete failure of normality

Open questions

  • Does every digit 0,1,…,90, 1, \dots, 9 occur infinitely often in the decimal expansion of π\pi?
  • Does the Bailey–Crandall equidistribution hypothesis hold for the BBP recurrence associated with π\pi?

References

  1. Émile Borel (1909). Les probabilités dénombrables et leurs applications arithmétiques · DOI:10.1007/BF03019651
  2. David H. Bailey, Peter B. Borwein, Simon Plouffe (1997). On the rapid computation of various polylogarithmic constants · DOI:10.1090/S0025-5718-97-00856-9
  3. David H. Bailey, Richard E. Crandall (2001). On the random character of fundamental constant expansions · DOI:10.1080/10586458.2001.10504441
  4. Yann Bugeaud (2012). Distribution Modulo One and Diophantine Approximation · DOI:10.1017/CBO9781139017732