(x-1)²≥0
(2y-1)²≥0
x²-2x+1≥0
4y²-4x+1≥0
x²-2x+1+4y²-4x+1≥0
x²+4y²+2≥2x+4x