Muirhead's Theorem
A Necessary and Sufficient condition that 
should be comparable with 
for allPositive values of the 
is that one of (
) and (
) should be majorized by the other. If
, then
with equality only when (
) and () are identical or when all the are equal. See Hardy et al. (1988)for a definition of notation.
References
Hardy, G. H.; Littlewood, J. E.; and Pólya, G. Inequalities, 2nd ed. Cambridge, England: Cambridge University Press, pp. 44-48, 1988.
- Gyroelongated Dipyramid
- Gyroelongated Pentagonal Bicupola
- Gyroelongated Pentagonal Birotunda
- Gyroelongated Pentagonal Cupola
- Gyroelongated Pentagonal Cupolarotunda
- Gyroelongated Pentagonal Pyramid
- Gyroelongated Pentagonal Rotunda
- Gyroelongated Pyramid
- Gyroelongated Rotunda
- Gyroelongated Square Bicupola
- Gyroelongated Square Cupola
- Gyroelongated Square Dipyramid
- Gyroelongated Square Pyramid
- Gyroelongated Triangular Bicupola
- Gyroelongated Triangular Cupola
- Gårding's Inequality
- Göbel's Sequence
- Gödel Number
- Gödel's Completeness Theorem
- Gödel's Incompleteness Theorem
- Haar Function
- Haar Integral
- Haar Measure
- Haar Transform
- Haberdasher's Problem