«11C» Estels Problem «PDF», «POD»

0.0.1 ↑ Estels Problem

{} \begin{array}{rcl|l} {} -\frac{y}{2y - 1} & \geq & 0; \qquad & \cdot \left(-1\right) \\ {} \frac{y}{2y - 1} & \leq & 0; \qquad & \cdot \left(2y - 1\right) \\ {} y & \leq & 0; \qquad & \cdot \left(2y - 1\right) {} \end{array}\\ {} \Rightarrow \left(y \leq 0 \wedge y \geq \frac{1}{2}\right) \vee \left(y \geq 0 \wedge y < \frac{1}{2}\right);$\begin{array}{cccc}\hfill -\frac{y}{2y-1}& \hfill \ge \hfill & 0;\hfill & \cdot \left(-1\right)\hfill \\ \hfill \frac{y}{2y-1}& \hfill \le \hfill & 0;\hfill & \cdot \left(2y-1\right)\hfill \\ \hfill y& \hfill \le \hfill & 0;\hfill & \cdot \left(2y-1\right)\hfill \end{array}\Rightarrow \left(y\le 0\wedge y\ge \frac{1}{2}\right)\vee \left(y\ge 0\wedge y<\frac{1}{2}\right);$