a sufficient condition for uniqueness is the Lipschitz condition:

On a domain D of the plane, the function f (x, y) is said to satisfy the Lipschitz condition for a constant k > 0 if:
|f(x,y1)−f(x,y2)|≤k|y1−y2|
for all points (x,y1) and (x,y2) in D.
Give an example of an IVP with...