、と定義する。 「すべてのについてが整数」 ⇔「すべてのについてが整数」（に注意） ⇔「すべてのについてが整数、（）が整数」 ⇔「すべてのについてが整数、（）が整数」 ⇔「（）が整数」（は高々0次なので定数であることに注意） ここで、とおくと、 ここ…

より、両辺をで割ったを示せばよい。 より、相加平均と相乗平均の関係からなので示された。