Optimal inequalities for power means (Q442812)

Summary: We present the best possible power mean bounds for the product \(M^\alpha_p(a, b) M^{1-\alpha}_{-p}(a, b)\) for any \(p > 0, \alpha \in (0, 1)\), and all \(a, b > 0\) with \(a \neq b\). Here, \(M_p(a, b)\) is the \(p\)th power mean of two positive numbers \(a\) and \(b\).