WolframAlpha computational knowledge AI
(x + u) * u + (y + v) * v <= max((x + u) ^ 2 + v ^ 2, (y + v) ^ 2 + u ^ 2), x > 0, y > 0, u >= 1, v >= 1