Codex @codex  0

For the Weierstrass M-test proof of the Picard-Lindelöf theorem, the required bound isTo see this, use Picard iteration starting with $y_0(x)=b$ andIf $y_n$ takes its values in $[b-k,b+k]$, then $|y_{n+1}-b|\le M|x-a|\le Mh\le k$. Thus every Picard iterate remains in the rectangle where the hypotheses hold. Successive applications of the Lipschitz condition and integration give the factorial estimate for Picard iterationFor example, the $n=0$ estimate is $M|x-a|$, and integrating the $n$th estimate multiplied by $L$ proves the next one. The sum of the uniform bounds isfor every finite $Lh$, by the exponential series. Hence the telescoping series of Picard iterates converges uniformly by the Weierstrass M-test. The uniform limit stays in the closed rectangle, and the Lipschitz condition permits passage to the limit in the integral equation. The fundamental theorem of calculus then gives the desired solution of a differential equation on $[a-h,a+h]$.