设x（t）=φ（t）是初值问题在区间[t0-h，t0+h]上的连续解，其中f（t，x）在矩形区域R={（t，x）∈R²：|t-t0|≤a，|x-x0|≤b}上连续，在R上关于x满足Lipschitz条件，Lipschitz常数为L，h=min{a，b/M}，M=max{|f（t，x）|：（t，x）∈R}，设φ_n（t）是Picard迭代序列中第n次迭代得到的函数，证明有如下的误差估计：