Terminating Variable

A variable $e$ used to prove Iterative Program Correctness in a loop. Define such that:

1. The value of $e$ is a Natural Number starting the loop
2. The value of $e$ decreases with every iteration