sqrt(xy) <= 2(xy/(x+y)), x > 0, y > 0