如何证明在正整数n和它的倍数2n之间必有一个素数存在?

问题描述:

如何证明在正整数n和它的倍数2n之间必有一个素数存在?

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