通过 Picard 迭代为 y' = f(x,y) , y(x_0) = y_0 素描 Picard-Lindelöf 定理的证明,其中 连续且在 中 Lipschitz。