Maximize returns a list of the form {fmax, {x->xmax, y->ymax, ...}}.
cons can contain equations, inequalities or logical combinations of these.
If f and cons are linear or polynomial, Maximize will always find a global maximum.
Maximize will return exact results if given exact input.
If Maximize is given an expression containing approximate numbers, it automatically calls NMaximize.
If the maximum is achieved only infinitesimally outside the region defined by the constraints, or only asymptotically, Maximize will return the supremum and the closest specifiable point.
If no domain is specified, all variables are assumed to be real.
xIntegers can be used to specify that a particular variable can take on only integer values.
Integers can be used to specify that a particular variable can take on only integer values. 
EXAMPLES
Basic Examples 
Scope 