1: \begin{equation}

2: -\left(2 \lambda e^{-\frac{3}{2}} + \sqrt{\frac{2\lambda}{\theta e}} \cdot |\alpha_1 -

3: \alpha_2| \right) \leq \lambda \bigl[f(k+1) - f(k) \bigr]

4: \leq \lambda + \sqrt{\frac{2\lambda}{\theta e}} \cdot |\alpha_1 - \alpha_2| \, ,

5: \quad \forall \, k \in \naturals_0.

6: \label{eq: 18th step in the derivation of the improved lower bound on total variation distance}

7: \end{equation}