Schlage-Puchta Jan-Christoph: Optimal version of the Picard-Lindelöf theorem. (2021)