That’s not true. To prove that any digit sequence will eventually appear, you need to show the number is normal (https://en.wikipedia.org/wiki/Normal_number htt

That’s not true. To prove that any digit sequence will eventually appear, you need to show the number is normal (https://en.wikipedia.org/wiki/Normal_number https://en.wikipedia.org/wiki/Normal_number), which is much, much harder to prove than being irrational or even transcendental. It has pretty much only been done for numbers specifically constructed to be normal, and so not including pi.