This post describes the mean value theorem and several other theorems of real analysis.