This isn't true as you can build an infinite sequence that never repeats. An example sequence in binary is (the number of 0s between each 1 increases by 1 every time)
01001000100001...
01001000100001...
I am not familiar with how a proof of that would be constructed, as clearly numerical or computational measurements could never be conclusive.
01000100
But maybe I don’t understand your exampleThere may be some long repeats, but not all sequences repeat. Thanks!