# Limit of a sequence of products

How do you prove the following?

$$\lim_{n\,\to\,\infty}\,\frac{1\cdot3\cdot5\cdots(2n-1)}{2\cdot4\cdot6\cdots(2n)}\ =\ 0$$

-

Take logarithms: $$\ln\frac{1\cdot3\cdot5\cdots(2n-1)}{2\cdot4\cdot6\cdots(2n)}=\sum_{k=1}^n\ln\frac{2k-1}{2k}=\sum_{k=1}^n\ln\Bigl(1-\frac1{2k}\Bigr)$$ and use $$\ln(1-x)=-x+O(x^2)$$ together with the divergence of the harmonic series.

-

We verify easily that for $k\geq 1$, we have $\displaystyle \frac{2k-1}{2k}\leq \sqrt{\frac{k}{k+1}}$. Hence $$\frac{1\cdot3\cdot5\cdots(2n-1)}{2\cdot4\cdot6\cdots(2n)}\leq \prod_{k=1}^n \sqrt{\frac{k}{k+1}}= \frac{1}{\sqrt{n+1}}$$ and we are done.

-

Multiply both numerator and denominator by $(2n)!!$, rewrite the denominator as $n! 2^n$ then use Stirling's formula for factorial and the upper bound. What do you get?

-

$$\prod_{n=1}^N \frac{2n-1}{2n} = \exp\left\{ \log \left( \prod_{n=1}^N \frac{2n-1}{2n} \right)\right\} = \exp\left\{ \sum_{n=1}^N \log \left(\frac{2n-1}{2n} \right)\right\}$$

$$= \exp\left\{ \sum_{n=1}^N \log(2n-1) - \log(2n)\right\} = \exp\left\{ \sum_{n=1}^N \log(2n)+\log(1-\frac{1}{2n}) - \log(2n)\right\} = \exp\left\{ \sum_{n=1}^N \log(1-\frac{1}{2n})\right\}$$

For large $n$ the log approximates as $\log(1-\frac{1}{2n}) \approx \frac{-1}{2n}$. In fact, keeping the higher order terms only makes it more negative so that the sum in the exponent diverges to negative infinity (as the harmonic sequence does).

Thus

$$\prod_{n=1}^\infty \frac{2n-1}{2n} = \exp( -\infty ) = 0$$

-
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "http://math.stackexchange.com/questions/912421/limit-of-a-sequence-of-products", "fetch_time": 1467251579000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2016-26/segments/1466783397865.91/warc/CC-MAIN-20160624154957-00138-ip-10-164-35-72.ec2.internal.warc.gz", "warc_record_offset": 197383071, "warc_record_length": 18440, "token_count": 665, "char_count": 1518, "score": 4.5625, "int_score": 5, "crawl": "CC-MAIN-2016-26", "snapshot_type": "latest", "language": "en", "language_score": 0.6330863237380981, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00013-of-00064.parquet"}