Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-339/3/c/ii/solution

The function
is the Moreau envelope of the convex indicator , and is therefore convex. It is nonnegative and vanishes exactly on . Since , the minimum of over is zero, and every minimizer belongs to both and .

New to topics? Read the docs here!