Picard–Lindelöf theorem

The Picard–Lindelöf theorem, also known as the Picard existence theorem or the Picard-Lindelöf theorem, is a fundamental result in the theory of ordinary differential equations (ODEs). It provides conditions under which a first-order ordinary differential equation has a unique solution in a specified interval.