数学归纳法。
设g(n)=nlog2/logn
87题有结论 π(2n)-π(n)<2g(n)
要证明 π(2n)<6g(n)
数学归纳仅需证明 π(2n)=π(2n)-π(n)+π(n)<2g(n)+6g(n/2) <6g(n) 即可
即需证明 6g(n/2)<4g(n) 此不等式在n>16 是满足的。
n<=16 可以一一枚举做为归纳前提。
设g(n)=nlog2/logn
87题有结论 π(2n)-π(n)<2g(n)
要证明 π(2n)<6g(n)
数学归纳仅需证明 π(2n)=π(2n)-π(n)+π(n)<2g(n)+6g(n/2) <6g(n) 即可
即需证明 6g(n/2)<4g(n) 此不等式在n>16 是满足的。
n<=16 可以一一枚举做为归纳前提。
