自然数に対して、Gronwall関数をと定義します。はの約数の総和関数です。このとき、次の定理が成立します：Gronwallの定理 の上極限は次で与えらえる：ここで、はEulerの定数です。実際には、Eulerのトーシェント関数に関する類似の定理と同時に証明します。…