この不等式は、コーシー・シュワルツの不等式またはイェンセンの不等式を用いて証明できます。ここではイェンセンの不等式を用います。
関数 f(x)=x を考えます。この関数の2階微分は f′′(x)=−41x−3/2 であり、x>0 に対して f′′(x)<0 であるため、f(x) は上に凸な関数です。 イェンセンの不等式より、上に凸な関数 f(x) に対して、以下の不等式が成り立ちます。 f(nx1+x2+⋯+xn)≥nf(x1)+f(x2)+⋯+f(xn) ここで、n=3、x1=x、x2=y、x3=z、f(x)=x を代入すると、 3x+y+z≥3x+y+z となり、問題の不等式が示されました。