利用Picard存在惟一性定理求定义在矩形区域R={（t，x）∈R²：|t|≤1，|x|≤1}上的方程（dx）/（dt）=x²+t过点（0，0）的解的存在区间，并求在此区间上与真正的解的误差不超过0.05的近似解。

设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次迭代得到的函数，证明有如下的误差估计：