i am aware nobody has proven pi is normal.

isnt, qed

op’s question was focued very clearly on pi, but sure.

“ok fine consider a number that still isn’t pi, it still holds.” ??

then it’s not relevant to the question as it is not pi.

“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.

that number is no longer pi… this is like answering the question “does the number “3548” contain 35?” by answering “no, 6925 doesnthave 35. qed”

it’s not a good example because you’ve only changed the symbolic representation and not the numerical value. the op’s question is identical when you convert to binary. thir is not a counterexample and does not prove anything.