1: \begin{definition}

2:   The concave envelope of a continuous function $F\from I\to \R$ on a closed interval $I$, denoted by $\hat{F}$, is the lowest-valued concave function that overestimates or equals $F$ over $I$. It follows from the strengthened Carath\'{e}odory theorem by Fenchel and Eggleston~\cite[Theorem 18]{eggleston58} that for every $\ta\in I$, $\hat{F}$ is given by \[

3:     \hat{F}(\ta) = \max\dset{p_1F(\ta_1) + p_2F(\ta_2)}{0\le p_1, p_2\le 1, \ta_1, \ta_2\in I, p_1+p_2=1, p_1\ta_1+p_2\ta_2=\ta}.

4:   \]

5: \end{definition}

6: