Consider the problem
minimize 3X₁
subject to X₁ + x₂² > 2
a. Does the point x* = [2, 0]ᵀ satisfy the KKT (first-order necessary) condition?