>>310
>(2＋9/700−log(7))＋lim_{n→+∞}(1/8＋…＋1/n＋log(7)−log(n))＞0
誤り
n>=180のとき　(2＋9/700−log(7))＋(1/8＋…＋1/n＋log(7)−log(n))<0
よって矛盾は生じない

乙君、計算苦手？