较高的 y 坐标使约束松弛

考虑最小化 $(x--1)^2+(y-3)^2$，约束为 $x+y\ge 1$。在最优点处，不等式是激活还是不激活？KKT 对乘子 $\lambda$ 有什么结论？