最後の2つの不等式を加えると bn+cnn+cn+ann<a+b+c=1\sqrt[n]{b^n+c^n}+\sqrt[n]{c^n+a^n}<a+b+c=1nbn+cn+ncn+an<a+b+c=1。これと第1項の厳密な評価を合わせれば示すべき不等式を得る。