If you iterate this, I think you get the continued fraction convergents, which are the "best" rational approximation to the irrational you're trying to approxim

If you iterate this, I think you get the continued fraction convergents, which are the "best" rational approximation to the irrational you're trying to approximate. (I did some numerical experiments and this looks true; I didn't prove it.)