Could someone please explain why in the proof
- $\Vert y-\overline x\Vert\ge\epsilon>0\ ?$
and
- $f(x_k)+w_k^t\beta(x_k)\le f(\overline x)+w_k^t\beta(\overline x)\ ?$
In the theorem, $X(w)=\{y:y\ minimize \ f(x)+w^t\beta(x) \text{ over } x\in X\}$
Theorem.
Thanks in advance for your help


As $x_k\to y$ and $\|x_k-\bar x\|\ge \epsilon$ for all $k$ (in $\mathscr K'$), we cannot have $\|y-\bar x\|<\epsilon$.
By assumption, $x_k\in X(w_k)$.