>>614
あと、>>565だが、任意の a≧1 なる実数aに対して
(2+9/700−log(7))+lim_{n→+∞}(log(7)+(1/8+…+1/n)−log(n))
=(2+9/700−log(7))+lim_{n→+∞}(log(7)+(1/8+…+1/n)−log(n+a))
が成り立つ