Normal number (source code)

= Normal number
{wiki}

A real number is normal in base $K\geq2$ if every word of $r$ digits occurs in its base-$K$ expansion with limiting overlapping frequency $K^{-r}$, for every $r\geq1$.