Optimal version of the Picard-Lindel\"of theorem

Consider the differential equation $y^{\mathrm{\prime }}=F(x,y)$. We determine the weakest possible upper bound on $\mathrm{\mid }F(x,y)-F(x,z)\mathrm{\mid }$ which guarantees that this equation has for all initial values a unique solution, which exists globally.