A clean alternate way to establish this inequality is to apply the Cauchy-Schwarz inequality directly, instead of expanding the product and pairing terms with AM-GM.
The Cauchy-Schwarz inequality states that for real numbers \(x_1,x_2,x_3\) and \(y_1,y_2,y_3\):
\[ (x_1^2+x_2^2+x_3^2)(y_1^2+y_2^2+y_3^2) \geq (x_1y_1+x_2y_2+x_3y_3)^2 \]Choose \(x_1=\sqrt{a}, x_2=\sqrt{b}, x_3=\sqrt{c}\) and \(y_1=\frac{1}{\sqrt{a}}, y_2=\frac{1}{\sqrt{b}}, y_3=\frac{1}{\sqrt{c}}\), which is valid since \(a,b,c\) are positive.
Then \(x_1^2+x_2^2+x_3^2=a+b+c\) and \(y_1^2+y_2^2+y_3^2=\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\), while each product \(x_iy_i\) simplifies to exactly 1, since \(\sqrt{a}\times\frac{1}{\sqrt{a}}=1\), and similarly for the other two terms.
So \(x_1y_1+x_2y_2+x_3y_3=1+1+1=3\), and the Cauchy-Schwarz inequality directly gives:
\[ (a+b+c)\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right) \geq 3^2 = 9 \]This confirms the inequality without any expansion or pairwise AM-GM steps at all. Equality holds precisely when \(a=b=c\), matching the equality condition found by the expansion method as well.
Therefore, the correct answer is \(\geq9\).