Let $n$ be an integer such that $n \geqslant 2$. We denote by $E' = \operatorname{Vect}(e_{1}, \ldots, e_{n-1})$ and by $\pi$ the orthogonal projection onto $E'$. We set $X' = \pi \circ X = \sum_{i=1}^{n-1} \varepsilon_{i} e_{i}$. For $t$ in $\{-1, 1\}$ we denote $C_{t} = \pi(C \cap H_{t})$ where $H_t = E' + te_n$. For $t$ in $\{-1, 1\}$, we denote by $Y_{t}$ the projection of $X'$ onto the non-empty closed convex set $C_{t}$. Let $\lambda$ be a real such that $0 \leqslant \lambda \leqslant 1$. Show that $$d(X, C) \leqslant \left\|(1 - \lambda)(Y_{\varepsilon_{n}} + \varepsilon_{n} e_{n}) + \lambda(Y_{-\varepsilon_{n}} - \varepsilon_{n} e_{n}) - X\right\|$$
Let $n$ be an integer such that $n \geqslant 2$. We denote by $E' = \operatorname{Vect}(e_{1}, \ldots, e_{n-1})$ and by $\pi$ the orthogonal projection onto $E'$. We set $X' = \pi \circ X = \sum_{i=1}^{n-1} \varepsilon_{i} e_{i}$. For $t$ in $\{-1, 1\}$ we denote $C_{t} = \pi(C \cap H_{t})$ where $H_t = E' + te_n$. For $t$ in $\{-1, 1\}$, we denote by $Y_{t}$ the projection of $X'$ onto the non-empty closed convex set $C_{t}$. Let $\lambda$ be a real such that $0 \leqslant \lambda \leqslant 1$.
Show that
$$d(X, C) \leqslant \left\|(1 - \lambda)(Y_{\varepsilon_{n}} + \varepsilon_{n} e_{n}) + \lambda(Y_{-\varepsilon_{n}} - \varepsilon_{n} e_{n}) - X\right\|$$