El lema de Gronwall establece una cota superior para las funciones no negativas que puedan acotarse por una función lineal de su integral. Este lema es de gran utilidad para probar la continuidad y unicidad de soluciones de ecuaciones diferenciales ordinarias.[1]​