Έστω μια συνάρτηση $f$ ορισμένη σε ένα διάστημα $\Delta$ και $x_0$ ένα εσωτερικό σημείο του $\Delta$. Αν η $f$ είναι παραγωγίσιμη στο $x_0$ και $f'(x_0) = 0$, τότε η $f$ παρουσιάζει υποχρεωτικά τοπικό ακρότατο στο $x_0$.