A partir de \max\{2, \frac{b}{2}+1\} \leq \max\{a, \frac{b}{2}+ \frac{a}{2}\}
Veamos el lado izquierdo.
Caso 1: 2 > \frac{b}{2}+1 . Entonces b < 2 . Esto se convierte entonces en 2 \le \max\{a, \frac{b}{2}+ \frac{a}{2}\} < \max\{a, \frac{1}{2}+ \frac{a}{2}\} = \max\{a, \frac{a+1}{2}\} . Si a > \frac{a+1}{2} , entonces a < 1 para que esto se convierta en 2 < 1 lo cual es falso.
Por lo tanto, a \le \frac{a+1}{2} , por lo que a \ge 1 para que esto se convierta en 2 < \frac{a+1}{2} o a > 1 que ya conocemos.
Caso 2: 2 \le \frac{b}{2}+1 . Entonces b \ge 2 . Esto se convierte entonces en \frac{b}{2}+1 \le \max\{a, \frac{b}{2}+ \frac{a}{2}\} =\frac{a}{2}+ \max\{\frac{a}{2}, \frac{b}{2}\} . Si a \ge b , esto se convierte en \frac{b}{2}+1 \le a . Pero como b \ge 2 , b \ge \frac{b}{2}+1 lo cual es cierto.
Si a < b , esto se convierte en \frac{b}{2}+1 < \frac{a}{2}+\frac{b}{2} o a > 2 .
En todos los casos aquí, a \ge 2 .
Por lo tanto, las soluciones son
b < 2, a > 1 ;
b \ge 2, a \ge 2 .