Champernowne constant
From specialfunctionswiki
The CHampernowne constant is the real number $C_{10}=0.12345678910111213141516171819202122232425\ldots$
Properties
Theorem: The Champernowne constant is a transcendental number.
Proof: █
