Has that been proven (or disproven)?

Does every finite string appear in pi?

If it does, it'll be the span parameters that are illegal - and (I'm guessing) generally larger than the value that they're encoding.