Absolutely normal number
= Absolutely normal number
An absolutely normal number is a <normal number> in every integer base $K\geq2$. The <Birkhoff ergodic theorem> and <ergodicity of integer multiplication on the circle>, followed by a countable intersection of full-measure sets, show that almost every real number is absolutely normal.