1: \begin{proof}

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

3: %\end{proof}

4: