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.