polynomials. We present a powerful new such construction, and use it to generalize
Gårding's result to arbitrary symmetric functions of the roots. Many classical and recent
inequalities follow easily. We develop various convex-analytic tools for such symmetric
functions, of interest in interior-point methods for optimization problems over related cones.