>>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 を得る