>>603
>拡張されたGronwall の不等式の系１(>>589)より、|h| ＜ δ のとき
>|g(t_1, p + h) - g(t_1, p) - ψ(t_1, p)h|
>≦ ε|h|(B + 1)|t_1 - t_0|exp(A|t_1 - t_0|)

これはGronwall の不等式の系２(>>591)からも出る。
つまり、
|g(t_1, p + h) - g(t_1, p) - ψ(t_1, p)h|
≦ |∫[t_0, t_1] (A|g(t, p + h) - g(t, p) - ψ(t, p)h| + ε(B + 1)|h|) dt|

よって、>>591で A = A, B = ε(B + 1)|h|, C = 0 として、
|g(t_1, p + h) - g(t_1, p) - ψ(t_1, p)h|
≦ (ε(B + 1)|h|/A) exp(A|t_1 - t_0| - 1)
= ε|h|(B + 1)|t_1 - t_0|exp(A|t_1 - t_0|)