[nyrikki]

You need to move past decimal expansion, there are sufficient methods to prove one sided limits on the reals in finite time.