region a^2+b^2 >= 2a