Takao Ono wrote:
>
>  小野@名古屋大学 です.
>
> <800c7853.0412010005.339d95f3@posting.google.com>の記事において
>  eurms@apionet.or.jpさんは書きました。
  eurms> > >        1+(1/2)+(1/3)+(1/4)+・・・・+(1/n)-log n ----- (a)
  eurms> 級数：1+(1/2)+(1/3)+(1/4)+・・・・+(1/k)+・・・　が発散す
  eurms> るのだから、当然、ｎ→無限大のとき、(a) は「絶対収束はしな
  eurms> い」。
  eurms>
  eurms> それにも拘わらず、(a) は 「Eulerの定数」と呼ばれている数（＝0.577216・・・   eurms> に「収束する」！
>
> 「収束する」ことを, どのように示されたのでしょうか?


私がそれを証明したのではありません ---- 言う迄も無いことですが。 ヽ(^。^)ノ

"Analysis by Its Hisory" (E.Hairer & G.Wanner, Springer-Verlag, 1995) の
pp.167-168 に Euler が証明した経緯が簡単に紹介されています。