这个结论被称为Bertrand假设,证明虽然初等,但是需要比较细致的估计.我这里只能提个大意,完整的证明可见华罗庚《数论导引》五章7节.证明基于对组合数C(2n,n)的分析.i) 首先有估计,n>4时,4^n/(2n) < C(2n,n) < 4^(n-1)...