Prove that the binary expansion of $\dfrac{1}{\pi}\tan^{-1}\left(\dfrac{5}{12}\right)$ has strings of $0$s or $1$s of arbitrary length.
I didn't see how we can calculate the binary expansion of $\tan^{-1}(x)$ or $\pi$. Is there some other way of solving this question?