Please read it all again. They didn’t rely on the conversion. It’s just a convenient way to create a counterexample.
Anyway, here’s a simple equivalent. Let’s consider a number like pi except that wherever pi has a 9, this new number has a 1. This new number is infinite and doesn’t repeat. So it also answers the original question.
“please consider a number that isnt pi” so not relevant, gotcha. it does not answer the original question, this new number is not normal, sure, but that has no bearing on if pi is normal.
Please read it all again. They didn’t rely on the conversion. It’s just a convenient way to create a counterexample.
Anyway, here’s a simple equivalent. Let’s consider a number like pi except that wherever pi has a 9, this new number has a 1. This new number is infinite and doesn’t repeat. So it also answers the original question.
“please consider a number that isnt pi” so not relevant, gotcha. it does not answer the original question, this new number is not normal, sure, but that has no bearing on if pi is normal.
OK, fine. Imagine that in pi after the quadrillionth digit, all 1s are replaced with 9. It still holds
“ok fine consider a number that still isn’t pi, it still holds.” ??
Prove that said number isn’t pi.
isnt, qed