Global symbolic maximum value of a function over variables with optional constraints and an optional Reals or Integers domain
MaxValue[f, x]
MaxValue[f, {x, y, …}]
MaxValue[{f, cons}, {x, y, …}]
MaxValue[…, x ∈ rdom]
MaxValue[…, …, dom]
MaxValue[-2x ^ 2 - 3x + 5, x]
→ 49/8MaxValue[1 - (x y - 3) ^ 2, {x, y}]
→ 1MaxValue[{x - 2y, x ^ 2 + y ^ 2 ≤ 1}, {x, y}]
→ Sqrt[5]