1: \begin{proof}

2: %%\red{This needs to be rigorously proved to see the convexity.}

3: %%\end{proof}

4: