Danke für den Hinweis. Ich hab mal auf die Schnelle gegoogelt und das hier gefunden, mit dem Bonmot oben:

https://www.cmi.ac.in/~sri/CAALM2019/Slides/OlivierCarton-caalm19.pdf

"Meine" alternative Konstruktion einer normalen Zahl für @Mephistopheles steht da auch:

Champernowne 1933 (natural numbers): 0,12345678910111213141516171819202122232425...

Wenn pi als normal nachgewiesen wäre, dann stünde es als Beispiel in diesen Folien.

Deshalb: Vermutlich ist es so, aber es ist nicht bewiesen. Es könnte also falsch sein.

Bernd Borchert

Es steht da auch: "Fast alle" reellen Zahlen sind normal (Emile Borel, 1909). Aber pi könnte eine Ausnahme sein - man weiß es nicht.