【２】ｎ＝３，・・・，２^m−１，・・・の場合

　　ａ^4＋ｂ^4＋ｃ^4＋ｄ^4≧４ａｂｃｄ

の右辺において，ｄ＝（ａｂｃ）^(1/3)とおくと

　　ａ^4＋ｂ^4＋ｃ^4＋（ａｂｃ）^(4/3)≧４（ａｂｃ）^(4/3)

　　ａ^4＋ｂ^4＋ｃ^4≧３（ａｂｃ）^(4/3)

　あるいは，左辺においてｄ^4＝（ａ^4＋ｂ^4＋ｃ^4）／３とおくと

　　（ａ^4＋ｂ^4＋ｃ^4）×４／３≧４ａｂｃ｛（ａ^4＋ｂ^4＋ｃ^4）／３}^(1/4)

　　ａ^4＋ｂ^4＋ｃ^4≧３（ａｂｃ）^(4/3)

　ａ→ａ^(3/4)，ｂ→ｂ^(3/4)，ｃ→ｃ^(3/4)と置き換えて

　　ａ^3＋ｂ^3＋ｃ^3≧３ａｂｃ

　同様に，ｎ＝２^m→２^m−１→２^m−２→・・・であるから，【１】【２】を併せれば，すべてのｎについて算術平均・幾何平均不等式

　　算術平均≧幾何平均

が証明されたことになる．

　また，調和平均は逆数の算術平均の逆数であるから，算術平均・幾何平均不等式においてａ→１／ａ，ｂ→１／ｂ，ｃ→１／ｃ，・・・と置き換えれば

　　幾何平均≧調和平均

の不等式を間接的に導くことができる．すなわち

　　算術平均≧幾何平均≧調和平均

が成立する．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝