it's weird to think that it's entirely possible that the decimal expansion of pi doesn't contain any arbitrary sequence of digits
it's almost certain that it _does_ but no one has yet been able to prove it
@starkatt people have tried! It's one of those things that's very difficult to prove. Proving that a number is normal is much more difficult even than proving that it's transcendental.
@Felthry I'm surprised that hasn't been proven, actually.