Is it a statistical certainty that there is a palindrome in pi?
Which is to say, is it certain that somewhere in the infinite string of pi, there is a sequence that ends with "562951413" and continues with all of the digits reversed back to the midpoint?
Which is to say if pi started with "3.14159265562951413" (it doesn't), the first 18 digits would be a palindrome. Is it a certainty that there is some (very large) occurrence of that in the real pi?