I stand corrected. For pi, it is only a conjecture. My point remains true for "Champernowne sequence".