Gronwall's Inequality

An integral (and differential) comparison inequality that bounds a function which satisfies a linear integral inequality by an explicit exponential factor; commonly used to produce explicit growth or decay bounds and to prove uniqueness and stability of solutions.