Global symbolic maximization of a function over variables with optional constraints.
$ wo 'Maximize[x^2 - 4*x + 5, x]'
Maximize::natt: The maximum is not attained at any point satisfying the given constraints\.\s? (regex)
{Infinity, {x -> -Infinity}}