Copeland-Erdős Constant is Normal

From ProofWiki
Jump to navigation Jump to search

Theorem

The Copeland-Erdős constant whose decimal expansion is formed by concatenating the prime numbers in ascending order:

$0 \cdotp 23571 \, 11317 \, 1923 \ldots$

is normal with respect to base $10$.


Proof


Sources