Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge / 2024 / Paper 1 / 13 / a / ii

The zero solution satisfies both the ordinary differential equation and the initial condition. The right-hand side is continuously differentiable in $y$ near $(x,y)=(2,0)$, so the Picard-Lindelöf theorem gives local uniqueness; equivalently the nonzero family in part (a) can never take the value zero at $x=2$. ThusThe restriction $x>0$ is the maximal interval containing $2$ on which the original ordinary differential equation is defined.