[phantomherman]

I'm struggling to wrap my head around this: why doesn't it follow from that fact?

[kundor]

You can have infinite and nonrepeating sequences which don't contain every possible subsequence. For instance, 1010010001000... (where there is one more zero each time) never repeats itself, but it never even has the digit 2 in it.

[phantomherman]

Aha, makes sense, thank you!