Conjecture about the digits of $\pi$ Consider irrational numbers between 1 and 9.
Lets call a specific one $a$.
Let $n>0$ be an integer.
In decimal consider the first $n$ digits of $a$.
Call that string $A(a,n)$.
Now consider the next $n$ digits of $a$ after the first $n$. Call that string $B(a,n)$.
Define $a$ has the repeat digits property (rdp) iff :
$$A(a,n) = B(a,n) $$
For some $n$.
Also $rdp(a) = $ true.
Now it is tempting to think statistically about this.
What is the probability that $rdp(a) =$ true ?
And probably that probability is equal to
$$ 10^{-1} + 10^{-2} + 10^{-3} + ... = 1/9 $$
Or close to it.
Is that correct ??
However i wonder about actual proofs rather than statistical reasoning.
So I make a conjecture 
There exists NO $n$ such that
$$ A(\pi,n) = B(\pi,n)$$
Now i picked the number $\pi$ because we know alot about its digits. ( unlike say zeta(5) , euler gamma etc , in fact we are not even sure they are irrational ! )
For instance we can compute the 100000 th digit in base 16 without needing to store or compute all the previous ones.
. See https://en.m.wikipedia.org/wiki/Bailey–Borwein–Plouffe_formula
So how to handle this ??
Or is this one of the simplest undecidable problems ?
Or the simplest example of computational irreducibility ? ( see wolfram's book a new kind of science ).
Is there any hope of solving they things besides brute force Search and luck ?
Is this THE example of the ultimate halting problem ?

Not an answer but here are a couple thoughts that are too long for a comment:
Your calculation of the probability rdp(a) is true is not quite right.  You are over counting numbers that satisfy the condition for multiple values of $n$.  For example $.1111$ satisfies the condition for both $n=1$ and $n=2$.  In any case what you computed is an upper bound, and $1/10$ is trivially a lower bound.
You can rewrite rdp(a)being true as $10^na-a - \lfloor10^na-a\rfloor < 10^{-n}$ for some $n$ so $a - K/(10^n-1) < \frac{1}{10^n(10^n-1)}$ which is reminds me of diophantine approximation, perhaps something can be said in that direction.
