y/2 <= x <= 2 and 0<= y <= 4