The IVP has a unique solution defined on the interval