If I made a zeno&#x27;s paradox loop:<p><pre><code>  bigFloat delta = 0.5
  bigFloat total = 0.0
  while total &lt; 1.0:
       total+=delta
       delta*=0.5
</code></pre>
Where does this fit in the model of using a loop invariant to show the loop terminates?
The loop is always approaching the terminal case (and eventually the machine runs out of memory)