Ah, maybe. But are you sure that the sum of: is enough to make the loop terminate?

Here's my essay with irrefutable proof, notably: I don't think this is correct..

Consider what happens when $\sqrt{a+b}>0$

Just fixed the issue on a new edit, thanks.

Thanks, you're totally right, I'll look into it!