Title: On the criterion for an extreme of a function of one real variable