x^2 + 4y^2 <= 4