Suppose that \bex\rdf\rdt+h≤gf(f,g,h≥0, t∈[0,T]).\eex Then for t∈[0,T], \bexf(t)+∫t0h(s)\rds≤f(0)\sez1+∫t0g(s)\rds⋅exp\sex∫t0g(s)\rds.\eex
Suppose that \bex\rdf\rdt+h≤gf(f,g,h≥0, t∈[0,T]).\eex Then for t∈[0,T], \bexf(t)+∫t0h(s)\rds≤f(0)\sez1+∫t0g(s)\rds⋅exp\sex∫t0g(s)\rds.\eex