Можно и аналитически

Доказать, что, если x^2+y^2=<1

то y+2>x. В самом деле леая часть больше либо равна 1, причем равенство достигается при у=-1, а тогда х=0

х меньше либо равен 1, причем равенство достигается, когда у=0.

Значит правая часть меньше левой всегла, когда х и у лежат внутри и на границе круга радиуса 1 с центром в (0,0)