You need to check one of the assumptions of Picard–Lindelöf theorem. Namely, denote the Picard operator above by and the right-hand side of the differential equation by . If for some constant we have for all , then . We want to find such that . For any ,

where is the Lipschitz constant of with respect to the second argument.