Invia SMS: Steigungen höherer Ordnung zur verifizierten globalen Optimierung