From the Ingham-Jessen property to mixed-mean inequalities

摘要

For every symmetric mean M: boolean OR(infinity)(n=1) I-n -> I (where I is an interval) and a nonzero function W: {1,..., n} -> N boolean OR {0}, define an n-variable mean by