(>>192の続き)
＝∫_[1,…,(a_1)^2](1/[x]−1/x)dx
　＋(1/((a_1)^2−1)＋log((a_1)^2−1)−log((a_1)^2＋1))
　＋∫_[(a_1)^2＋1,…,(a_2)^2−1](1/[x]−1/x)dx
　＋(log((a_2)^2−1)−log((a_2)^2＋1))
　＋…＋∫_[(a_{n−1})^2＋1,…,(a_n)^2−1](1/[x]−1/x)dx
　＋(log((a_n)^2−1)−log((a_n)^2＋1))
　＋∫_[(a_n)^2＋1,…,m](1/[x]−1/x)dx
−(1/(a_1)^2)
＝農{k＝1,…,(a_1)^2−1}(1/k)−log((a_1)^2−1)
　−農{k＝1,…,n}(∫_[(a_k)^2,(a_k)^2＋1](1/x)dx)
　＋農{k＝(a_n)^2＋1,…,m}(1/k−log(k＋1)＋log(k))
＝農{k＝1,…,(a_1)^2−1}(1/k)−log((a_1)^2−1)
＋(log((a_n)^2＋1)−log((a_1)^2))
＋農{k＝(a_n)^2＋1,…,m}(1/k−log(k＋1)＋log(k))
＞0
である。ここに、[x] はガウス記号である