v"("a") = 1 的解，那么对所有的 "t" 都有 "v"("t") > 0， 因此根据复合函数求导法则中的除法定则：对所有的 "t" > "a" 成立，因此 于是格朗沃尔不等式得证。
积分形式.设 "I" 是一个实数区间，记为：<nowiki>[</nowiki>"a", ∞) 或 <nowiki>[</nowiki>"a", "b"<nowiki>]</nowiki> 或 <nowiki>[</nowiki>"a", "b")，其中 "a" < "b"。又设 "α