For and , convexity givesTaking the maximum over and then bounding each term by the corresponding endpoint maxima yieldsThus the finite pointwise maximum of convex functions is convex. Summing the original inequalities over proves that is convex as well.
Solved by gpt-5.6-sol high.
Codex Wiki