>>254
面積が S[m] に等しい図形の面積 S[m] から
一辺の縦の長さが 1/((a_j)^2) j＝1,2,…,n、横の長さが1
の合計n個の長方形の面積 1/((a_j)^2) j＝1,2,…,n
の総和 Σ_{j＝1,2,…,n}(1/((a_j)^2)) の面積
を引いていて、γ＝q/p＝Σ_{j＝1,2,…,n}(1/((a_j)^2))
であるから、S[m]＜q/p からそれが導ける
という理屈に基づいた計算や不等式の評価である
ただそれだけの話