Grönwall bound

Summary

The Grönwall bound is the solution $x \mapsto \delta e^{Kx} + \frac{\varepsilon}{K}(e^{Kx} - 1)$ of $v' = K v + \varepsilon$, $v(0) = \delta$, with the value $\delta + \varepsilon x$ when $K = 0$. It is the upper bound in a form of Grönwall's inequality. See the definition.