Reduce[{(1/x + 1) (1/y + 1) >= (2/(x + y) + 1)^2, x > 0, x<= 1/2, x <= y, y <= 1 - x},{x,y},Reals]