1: \begin{proof}

2: A rigorous proof can be found within \ref{apndx:proof_of_concave_sign}.

3: \end{proof}

4: