By way of motivating example, someone came up with a completely evil user interface where the user was required to select their ten digit phone number by moving a sliding window over the digits of pi:

Given that pi is infinite and non-repeating, my gut says that all possible combinations of ten digits must exist somewhere in the digits of pi, but I don't know how to prove that.

Help appreciated.

Best,

Glenn