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