(x^2+y^2-16)/(2x-y+2)>=0