在数学中，格朗沃尔引理或格朗沃尔不等式说明了对于满足一定的微分方程或积分方程的函数，有相应的关于此微分方程或积分方程的不等式。格朗沃尔不等式有两种形式，分别是积分形式和微分形式。积分形式下的不等式可以有几种不同的写法。
格朗沃尔不等式常常被用来估计常微分方程的解的取值范围。比如，它可以用来证明初值问题的解的唯一性（见柯西-利普希茨定理）。
格朗沃尔不等式的名称来自多玛·哈肯·格朗沃尔。格朗沃尔是一位瑞典的数学家，后来移居美国。
格朗沃尔不等式的微分形式首先由格朗沃尔在1919年证明。而积分形式则是由理查德·贝尔曼（Richard Bellman）在1943年证明。
设 是一个实数区间，记为： 或 或 [, )，其中 < 。又设 、 和 为定义在 上的实数值的函数。假设 和 是连续的，则有：
注意：
(a) 定义
则运用复合函数求导法则中的乘积法则、链式法则、指数函数的求导法则以及微积分基本定理，可以得到：
由于注意到括号中的部分小于 ，可以得到相应的不等式，并进行积分。由于函数 以及其指数都是非负函数，不等号保持不变。然而 () = 0，因此积分式等价于：
再运用第一步里 () 的定义，就得到：
最后将原来条件里的不等式带入上式左边，就可以得到格朗沃尔不等式了。
(b) 如果函数 为常数函数，那么命题 (a) 中不等式的右边可以进行积分。由微积分基本定理可以获得：
