Peano existence theorem

Continuous f ⟹ existence (not uniqueness) of local solution. Uses Arzelà-Ascoli compactness of approximating broken-line solutions.