ｌｏｇ2（１＋１／ｋ（ｋ＋２））

は確率であるから，算術平均

　　Σ(1,n)ｋｌｏｇ2（１＋１／ｋ（ｋ＋２））

ではなく，

　　１／ｎΣ(1,n)ｋｌｏｇ2（１＋１／ｋ（ｋ＋２））＝β

　　Σ(1,n)ｋｌｏｇ2（１＋１／ｋ（ｋ＋２））＝βｎ

のようである．

　したがって，

　　ａ1＋ａ2＋・・・＋ａn〜ｎｌｏｇ2ｎ

　　（ａ1＋ａ2＋・・・＋ａn）／ｎ〜ｌｏｇ2ｎ

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

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