Inter-universal geometryとABC予想(シン応援スレ) 91

[第４段]：任意の m≧(a_k)^2＋2 なる整数mに対して、
S[m]＝∫_[1,m)(1/[x]−1/x)dx とおく
このとき、γの極限で表した定義式から
γ＝∫_[1,+∞)(1/[x]−1/x)dx であるから、
片側無限列 (S[m])_{m≧(a_k)^2＋2} は
m→+∞ のときγに収束する単調増加列である