Gronwall's inequality and information transfer

In light of Brexit, non-ideal information transfer is now much more salient. And because of that, I thought it might be a good time to post this information transfer-specific form of Gronwall's inequality that's been languishing as a draft for awhile.

...

One of the key lemmas I've used liberally to say the solution of a differential inequality is bounded by the solution of the corresponding  differential equation is called Gronwall's inequality. It's useful in stochastic differential equations, among other applications. It is not a general result for all differential equations, but fortunately applies precisely in the case we consider in the information transfer framework. It is written differently in the Wikipedia article linked, but I'd like to show this is just a notational difference. The differential equation that the inequality applies to is 

$$
u'(t) \leq \beta (t) u(t)
$$

This is just the equation

$$
\frac{du(t)}{dt} \leq \beta(t) u(t)
$$

and if $\beta (t) = k/t$, we have

$$
\frac{du(t)}{dt} \leq k \; \frac{u(t)}{t}
$$

and we can select the variables to be whatever we'd like (and take the function arguments to be implied). Therefore, given an information transfer relationship $\alpha \rightarrow \beta$, we can say the solution to the differential inequality:

$$
\frac{d\alpha}{d\beta} \leq k \; \frac{\alpha}{\beta}
$$

is bounded by the corresponding information equilibrium relationship $A \rightleftarrows B$

$$
\frac{dA}{dB} = k \; \frac{A}{B}
$$

with solution

$$
A(B) = A(B_{ref}) \exp \left( k \int_{B_{ref}}^{B} dB' \; f(B') \right)
$$

taking $A(B_{ref}) \equiv A_{ref}$ and integrating $f(B') = 1/B'$

$$
A(B) = A_{ref} \exp k \left( \log B - \log B_{ref} \right)
$$

rearranging (and putting it in the form I usually use)

$$
\frac{A}{A_{ref}} =  \left( \frac{B}{B_{ref}} \right)^{k}
$$

Therefore

$$
\frac{\alpha}{\alpha_{ref}} \leq  \left( \frac{\beta}{\beta_{ref}} \right)^{k}
$$

i.e.

$$
\alpha(\beta) \leq \alpha(\beta_{ref}) \exp \left( k \int_{\beta_{ref}}^{\beta} d\beta' \; f(\beta') \right)
$$