Remark on inequalities between Hölder and Lehmer means (Q1576985)

The Hölder and Lehmer means of \(n\) arguments are defined by \[ H_t= ((x^t_1+\cdots+ x^t_n)/n)^{1/t}\quad\text{for }t\neq 0;\;=(x_1\cdots x_n)^{1/n}\quad\text{for }t= 0 \] and \[ L_t= (x^{t+1}_1+\cdots+ x^{t+1}_n)/(x^t_1+\cdots +x^t_n), \] respectively (\(x_i>0\), \(t\in\mathbb{R}\)). The author proves that \[ H_{2t+ 1}\leq L_t\quad\text{for }t\in (-1,-\textstyle{{1\over 2}})\cup (0,\infty) \] and vice versa for the remaining \(t\). For \(n\geq 3\), \(t\neq -1,0\), the above means are not comparable. Another inequality is \[ (L_t+ L_{-t-1})/2\geq H_0\quad\text{for }n= 2. \] For \(n\geq 3\) this is not generally true.