He buried the lede! In fact, no one has proved that any particular number is normal. However, we do know that almost all numbers are normal. That is,

He buried the lede! In fact, no one has proved that any particular number is normal. However, we do know that almost all numbers are normal. That is, the set of non-normal numbers has Lebesgue measure zero.