(>>244の続き)
即ち S[m]−q/p<γ−log(5/2)<γ−log(2)<0 である
>>227を基にすれば、任意に m≧max(n,(a_n)^2+1)+1=(a_n)^2+2 なる整数mは取っていたから、
m→+∞ とすれば lim_{m→+∞}(S[m]−q/p)≦γ−log(5/2)<γ−log(2)<0 を得る
よって、lim_{m→+∞}(S[m])<q/p を得る

>>244
<γ−log(((a_2)^2)/((a_1)^2))
=γ−log(9/4)
の不等式の評価は
<γ−log(((a_2)^2+1)/((a_1)^2))=γ−log((3^2+1)/(2^2))
=γ−log(5/2)
に訂正