“…One can verify that the pair (x * , u * ) ≡ (0, 0) satisfies various existing optimality conditions for this problem in terms of subdifferentials and normal cones [11,12,17,19,47,51,55,66,[70][71][72]81]. We leave the laborious task of verifying these conditions to the interested reader.…”