x + y >= 2sqrt(x*y)