>>620
俺は分かるぞ。手続きが明らかになる構成的証明だということだと思う。
相加平均と相乗平均という，全く形が異なるものの間を一気に飛ぶのではなく，
相加平均が，１つずつ項を入れ替えてゆくことで少しずつ小さくなってゆき，
やがて相乗平均に至るという，途中経過が明らかになる証明だ，という意味だろう。
俺も全く同感だ。