deletions | additions       diff --git a/4b4.tex b/4b4.tex  index dac0174..a29de84 100644  --- a/4b4.tex  +++ b/4b4.tex 
...
\iff & (i \leq n) \to n-i \geq 0 \\  \iff & \top  \end{split}  \end{equation} It is now easy to see that the variant is bounded from below.