Copeland-Erdős constant
From specialfunctionswiki
The Copeland-Erdős constant is a real number obtained by putting the prime numbers, in order, as the decimals of a real number: $$0.235711131719232931374143\ldots$$
Properties
Theorem: The Copeland-Erdős constant is irrational.
Proof: █
Theorem: The Copeland-Erdős constant is a normal number.
Proof: █
