<< calculus
Mean Value Theorem
Fermat Lemma