>>497-498
あっ、間違えたよ

2γ−log(5/2)≧γ と仮定する
このとき、γ≧log(5/2) から e^γ≧5/2 である
しかし、これは γ＜58/100＝29/50 から
e^γ＝Σ_{k-0,1,…,+∞}((γ)^k/(k！))＜5/2
なることに反し矛盾する
よって、背理法により、2γ−log(5/2)＜γ である
故に、γ−log(5/2)＜0 である
また、0≦S[m]＜γ、0＜γ＜log(5/2) であるから、
|S[m]−γ|＜|γ−log(5/2)|
である。よって、S[m]−γ＜0、γ−log(5/2)＜0 から、
S[m]−γ＜γ−log(5/2)＜0 を得る