\begin{definition}[Definition:Champernowne Constant]
The '''Champernowne constant''' is the real number whose decimal expansion is formed by concatenating the positive integers in ascending order:
:$C_{10} = 0 \cdotp 12345 \, 67891 \, 01112 \, 13141 \, 51617 \, 18192 \, 02122 \ldots$
{{OEIS|A033307}}
\end{definition}