Я бы решал выражением одной переменной через другую.Например:x+y <= ax*y = bТогда:x+y <= ax = b/yПосле чего заменял бы x на b/yb/y+y <= aПереносишь a и умножаешь на yy^2-a*y+b <=0После чего приравниваешь к нулю и находишь значения для y, после их нахождения подставляешь величину в уравнение и находишь все X.Думаю, что так.