I mean you just have to get to the point where all of the trailing decimal places (bits) form a repeating pattern with finite period. But since there are infini

I mean you just have to get to the point where all of the trailing decimal places (bits) form a repeating pattern with finite period. But since there are infinitely many such patterns it becomes extremely hard to rule out without some mechanism of proof.