- 862 名前：１３２人目の素数さん mailto:sage [2008/08/09(土) 09:35:27 ]
- >>861
>>859 は >>852 の分母にある b_n の処理の方法について書きました。
全部書くと
(1) ε＞０ を任意に取ると >>860 にあるように N が定まって |b_n-β|<ε (n≧N)。
(2) さらに >>860 から (必要なら N を大きくとりかえて)
1/|b_n| < 2/|β| (n≧N)
二つを組み合わせると n≧N のとき
|(1/b_n)-(1/β)|
＝ |β-b_n|/|b_nβ|
＝ |β-b_n| ・ 1/|b_n| ・1/|β|
≦ ε ・ (2/|β|) ・ 1/|β| = 2ε/|β|^2
