WolframAlpha computational knowledge AI
(a + c) * c + (b + d) * d <= max((a + c) ^ 2 + d ^ 2, (b + d) ^ 2 + c ^ 2), a > 0, b > 0, c >= 1, d >= 1