A short proof of Ky Fan's arithmetic-geometric inequality (Q1353638)

By using Jensen's inequality for convex functions, the author proves that \[ \sum b_k/(1+b_k)\geq (\prod b_k)^{1/n}\cdot \sum 1/(1+b_k)\quad\text{for}\quad b_k\in(0,1]. \] Then, by replacing \(b_k= a_k/(1-a_k)\), for \(a_k\in(0,1/2]\), he obtains the Ky Fan inequality. This method is the same as the one based on Henrici's inequality \[ \sum 1/(1+ b_k)\geq n/(1+(\prod b_k)^{1/n})\quad (b_k\geq 1) \] applied to \(b_k=(1- a_k)/a_k\), and remarked by the reviewer [Prepr., ``Babeş-Bolyai'' Univ., Fac. Math. Phys., Res. Semin. 1990, No. 7, 29-34 (1990; Zbl 0748.26013)]. The author doesn't seem to be aware of the survey article by \textit{H. Alzer} [Acta Appl. Math. 38, No. 3, 305-354 (1995; Zbl 0834.26013)], where the complete history of the Ky Fan inequality is presented. See also \textit{J. E. Pečarić} and \textit{H. Alzer} [Math. Panonica 6, No. 1, 85-93 (1995; Zbl 0822.26015)].