→ kerwinhui : sum_{p^m<x, m>1} log(p)/p^m = O(1) 可以拿走 08/03 18:33
→ kerwinhui : summation-by-parts sum (log(p)/p)(1/log(p)) 08/03 18:33
→ kerwinhui : => 1+O(1/(log x))+log(log x)-log(log 2)+integral 08/03 18:36
→ kerwinhui : integral=int_2^x O(1)/(t (log t)^2) = O(1/log x) 08/03 18:37
→ kerwinhui : 得證 08/03 18:37
→ JohnMash : 了解。謝謝。 08/12 15:57
→ JohnMash : 要用到Shapiro's Theorem 08/12 19:06