Gronwall引理
设g(t)，ψ(t)在[t0,t1]连续，且g(t)，λ，r≥0
若ψ（t）≤λ+∫t，t0[g(t)ψ（t）+r]dτ，
则ψ（t）≤（λ+rT）exp∫t0，t g（τ）dτ，t0≤t1，T=t1-t0