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