In 1909, Émile Borel [1]} introduced normal numbers and proved
that almost all numbers are normal.According to [2]}, the
original proof was "unmendably faulty," though. Today, several different
proofs of Borel's theorem exist. This includes some that are generally
considered to be elementary, e.g., [3]}, [4]}, and [5]}.
