13/01/06 15:16:17.70
>>153
面倒だから n は十分大きいとして、片方の不等号だけ
π(Pn) = n だから
APn/log(Pn) < n
√(Pn) < Pn/log(Pn) だから
A√(Pn) < n
p < (n/A)^2
Pn < (n/A)log(Pn) < (n/A)log((n/A)^2)
≦ (2n/A)(log(n) + |log(A)|)
log(n) > |log(A)| なら
Pn < (4/A)n log(n)
13/01/06 15:16:17.70
>>153
面倒だから n は十分大きいとして、片方の不等号だけ
π(Pn) = n だから
APn/log(Pn) < n
√(Pn) < Pn/log(Pn) だから
A√(Pn) < n
p < (n/A)^2
Pn < (n/A)log(Pn) < (n/A)log((n/A)^2)
≦ (2n/A)(log(n) + |log(A)|)
log(n) > |log(A)| なら
Pn < (4/A)n log(n)