grandes-ecoles 2016 Q11a

grandes-ecoles · France · x-ens-maths2__mp Proof Existence Proof
Let $\Lambda$ be a non-empty subset of $\mathbb{R}_*^+$ closed under addition, with $$\Gamma = \left\{z \in \mathbb{R}_+^* \mid \exists (x, y) \in \Lambda,\, z = y - x\right\}, \quad r(\Lambda) = \inf \Gamma.$$ We assume that $r(\Lambda) > 0$. Show that there exist $(a, b) \in \Lambda^2$ such that $b - a \in [r(\Lambda), 2r(\Lambda)[$.
Let $\Lambda$ be a non-empty subset of $\mathbb{R}_*^+$ closed under addition, with
$$\Gamma = \left\{z \in \mathbb{R}_+^* \mid \exists (x, y) \in \Lambda,\, z = y - x\right\}, \quad r(\Lambda) = \inf \Gamma.$$
We assume that $r(\Lambda) > 0$. Show that there exist $(a, b) \in \Lambda^2$ such that $b - a \in [r(\Lambda), 2r(\Lambda)[$.