Comment by SteveGoob

> We don't know if pi is a normal number.

Sure we do. There are plenty of proofs out there that pi is an irrational number.