Bourbaki

习题 20, § 1

标签 071V,永久不变。引用为 [Bourbaki, Tag 071V]。

代数, VII, p. 52

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

\* 设 π(x)\pi(x) 为小于实数 x>0x > 0 的素数中的数。对于每个整数 n>0n > 0,证明

nπ(2n)−π(n)≤(2nn)≤(2n)π(2n) n^{\pi(2n) - \pi(n)} \leq \binom{2n}{n} \leq (2n)^{\pi(2n)}
(注意,(2nn)\binom{2n}{n}是所有素数q的乘积中的倍数,使得n<q≤2nn < q \leq 2n);另一方面,使用Ex。 19 显示 (2nn)\binom{2n}{n} 除乘积 ∏pr(p)\prod p^{r(p)},其中 p 穿过素数数 ≤2n\leq 2n 的集合,并且其中 r(p)r(p) 是最大的整数,使得 pr(p)≤2np^{r(p)} \leq 2n。从这个结果推导出存在两个实数 a 和 b 使得 0<a<b0 < a < b 和
an(log⁡n)−1≤π(n)≤bn(log⁡n)−1 an(\log n)^{-1} \leq \pi(n) \leq bn(\log n)^{-1}
(注意22n(2n+1)1≤(2n)!/(n!)−2≤2′′′2^{2n}(2n + 1)^1 \leq (2n)!/(n!)^{-2} \leq 2''')。

1 已经证明,当 x 趋向于 +∞+ \infty 时,π(x)∼xlog⁡x\pi(x) \sim \frac{x}{\log x}(cf. 对于例 A. E. Ingham,素数数的分布(剑桥大片,No. 30),剑桥大学出版社,1932 年)。

EXERCISES

解答

尚未写出解答。

被以下引用

无。

引用了

无。

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。