Bourbaki

习题 32, § 1

标签 08AV，永久不变。引用为 [Bourbaki, Tag 08AV]。

实变函数, III, 123

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

证明*沃利斯'公式*

lim⁡n→∞1n⋅2.4.6…2n1.3.5…(2n−1)=π \lim_{n \to \infty} \frac{1}{\sqrt{n}} \cdot \frac{2.4.6 \ldots 2n}{1.3.5 \ldots (2n-1)} = \sqrt{\pi}
通过使用 exerc. 31 和不等式 sin⁡n+1x≤sin⁡nx\sin^{n+1} x \leq \sin^n x 0≤x≤π/20 \leq x \leq \pi/2。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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