変数がn個の場合の相加相乗平均の不等式をエレガントに証明します。証明には指数関数の有名な不等式を用います。