>>493
2γ−log(5/2)≧γ と仮定する
このとき、γ≧log(5/2) から e^γ≧5/2 である
しかし、これは e^γ＜5/2 なることに反し矛盾する
よって、背理法により、2γ−log(5/2)＜γ である
故に、γ−log(5/2)＜0 である
ところで、2γ−log(5/2)＞0 が得られているから、−log(5/2)＞−γ
の両辺にγを足せば、γ−log(5/2)＞0 である
故に、γ−log(5/2)＞0 と S[m]−γ＜0 とを組合せれば
S[m]−γ＜γ−log(5/2)＜0 を得る