במתמטיקה, הלמה של גרנוול (על שמו של המתמטיקאי השוודי תומאס ה. גרנוול - Grönwall) היא אי-שוויון, המשמש בין היתר להוכחת היחידות במשפט הקיום והיחידות עבור הפתרונות של משוואה דיפרנציאלית רגילה.
תהי f ( x ) ≥ ≥ --> 0 {\displaystyle \ f(x)\geq 0} פונקציה רציפה ואי-שלילית, המקיימת עבור קבוע A {\displaystyle \ A} ועבור x > x 0 {\displaystyle \ x>x_{0}} את האי-שוויון הבא: f ( x ) ≤ ≤ --> A ∫ ∫ --> x 0 x f ( t ) d t {\displaystyle f(x)\leq A\int _{x_{0}}^{x}f(t)dt} אזי פונקציה זו היא בהכרח פונקציית האפס - f ( x ) ≡ ≡ --> 0 {\displaystyle \ f(x)\equiv 0} .
ברור שמתקיים A ≥ ≥ --> 0 {\displaystyle A\geq 0} כי אם לא נקבל באגף ימין ביטוי שלילי, כעת על ידי העברת אגף ימין ניתן לראות כי:
Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!