Isn't the entire known sequence of pi also known to repeat due to its nature?
This is suspected but currently not yet proven.
In fact, we don't even have a proof yet that the digit 7 occurs infinitely often in pi. (Same for any other digit.) Right now it's conceivable, but very unlikely, that there is some final 7 in pi.