Path: ccsf.homeunix.org!ccsf.homeunix.org!news1.wakwak.com!nf1.xephion.ne.jp!onion.ish.org!news.daionet.gr.jp!news.yamada.gr.jp!passion.nalgo.co.jp!news.moat.net!news.glorb.com!postnews.google.com!not-for-mail
From: eurms@apionet.or.jp (M_SHIRAISHI)
Newsgroups: fj.sci.math
Subject: Re: =?ISO-2022-JP?Q?=1B$B@dBP<}B+$9$k5i=3Ft$O<}B+$9$k=1B(B?=
Date: 1 Dec 2004 02:17:18 -0800
Organization: http://groups.google.com
Lines: 20
Message-ID: <800c7853.0412010217.20c3bbef@posting.google.com>
References: <4191B981.1000703@slis.tsukuba.ac.jp> <cnpr4a$2ik$1@caraway.media.kyoto-u.ac.jp> <41A44090.8000007@slis.tsukuba.ac.jp> <cocbna$dt1$1@caraway.media.kyoto-u.ac.jp> <41AA9FA7.6030002@slis.tsukuba.ac.jp> <coe81i$82c$1@caraway.media.kyoto-u.ac.jp> <41AAC11E.6000603@slis.tsukuba.ac.jp> <cof0o0$t47$1@caraway.media.kyoto-u.ac.jp> <41AC174C.4030009@slis.tsukuba.ac.jp> <800c7853.0411301429.377b6910@posting.google.com> <041201090406.M0115600@flame.hirata.nuee.nagoya-u.ac.jp>
NNTP-Posting-Host: 220.97.239.88
Content-Type: text/plain; charset=ISO-2022-JP
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1101896255 18434 127.0.0.1 (1 Dec 2004 10:17:35 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 1 Dec 2004 10:17:35 +0000 (UTC)
Xref: ccsf.homeunix.org fj.sci.math:1456

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 が証明した経緯が簡単に紹介されています。