On an inequality of Ky Fan (Q1118055)

Two proofs are offered for the inequality \[ x_ 1^{1/n}x_ 2^{1/n}...x_ n^{1/n}(1-x_ 1)^{-1/n}(1-x_ 2)^{-1/n}...(1- x_ n)^{-1/n}\leq (x_ 1+x_ 2+...+x_ n)(n-x_ 1-x_ 2-x_ n)^{-1} \] (x\({}_ k\in]0,1/2]\), \(k=1,2,...,n)\) with \(= iff\) \(x_ 1=x_ 2=...=x_ n\). [For a generalization see \textit{N. Levison}, J. Math. Anal. Appl. 8, 133-134 (1964; Zbl 0128.058).]