Ta có:
\(1-a_1\ge a_2+a_3+...+a_n\ge\left(n-1\right)\sqrt[n-1]{a_2a_3...a_n}\)
\(1-a_2\ge a_1+a_3+...+a_n\ge\left(n-1\right)\sqrt[n-1]{a_1a_3...a_n}\)
....
\(1-a_n\ge a_1+a_2+...+a_{n-1}\ge\left(n-1\right)\sqrt[n-1]{a_1a_2...a_{n-1}}\)
Nhân vế với vế:
\(\left(1-a_1\right)\left(1-a_2\right)...\left(1-a_n\right)\ge\left(n-1\right)^n.a_1a_2...a_n\)
\(\Leftrightarrow\frac{a_1a_2...a_n}{\left(1-a_1\right)\left(1-a_2\right)...\left(1-a_n\right)}\le\frac{1}{\left(n-1\right)^n}\)
Dấu "=" xảy ra khi \(a_1=a_2=...=a_n=\frac{1}{n}\)