Comment by kvakil

This assumes that pi is a normal number [0], a fact that is widely believed but has not been proven.

[0]: https://en.wikipedia.org/wiki/Normal_number