It is easier to prove that almost all real numbers are normal than to prove that any particular real number is normal.

Indeed, none of the most natural candidates, such as $\sqrt{2}$, $\pi$ or $e$, has yet been proved normal.

2 typo

It is easier to prove that almost all real numbers are normal than to prove that any particular real number is normal.