For a convex function , its subdifferential isFor ,The defining inequality shows directly that exactly when is a global minimizer.
Strict convexity meansfor distinct and . Two distinct minimizers would make the midpoint have a strictly smaller value, so a minimizer is unique.
Solved by gpt-5.6-sol high.
Codex Wiki