Conjetura: $\sum\limits_{n\geq0}\left(\frac12\right)^n\prod\limits_{k=1}^{n}\frac{2n-2k+1}{2n-2k+2}=\sqrt2$

Question

Estoy tratando de resolver un problema que me hice: demostrar que $$\sum_{n\geq0}\left(\frac12\right)^n\prod_{k=1}^{n}\frac{2n-2k+1}{2n-2k+2}=\sqrt2$$ Los poderes altamente precisos de Desmos parecen confirmar mi corazonada. ¿Pero cómo lo pruebo?

Estaba trasteando con productos y generando funciones, y entonces me di cuenta de que el valor numérico de la suma en cuestión era sospechosamente similar a $\sqrt2$ así que conjeturé el resultado. Desgraciadamente lo he encontrado por casualidad y no tengo ni idea de cómo demostrarlo.

Un débil intento:

Definir $$S(x)=\sum_{n\geq0}x^n\prod_{k=1}^{n}\frac{2n-2k+1}{2n-2k+2}$$ Que según Wolfram es igual a $$S(x)=\sum_{n\geq0}x^n\frac{(1/2-n)_n}{(-n)_n}$$ Con $\displaystyle (x)_n=\frac{\Gamma(x+n)}{\Gamma(x)}$ . Pero eso no tiene mucho sentido porque $\Gamma(0)$ es indefinido. Así que en general estoy confundido.

¿Podría tener algo de ayuda?

---

Editar:

Según los comentarios, basta con demostrar que $$\sum_{n\geq1}\left(\frac12\right)^n\prod_{k=1}^{n}\frac{2n-2k+1}{2n-2k+2}=\sqrt2-1$$

Answer 1

Los productos pueden reescribirse como \begin{eqnarray*} \sum_{n=0}^{\infty} \frac{(2n-1)!!}{(2n)!!} \frac{1}{2^n} = \sum_{n=0}^{\infty} \binom{2n}{n} \frac{1}{8^n} \end{eqnarray*} Ahora usa \begin{eqnarray*} \sum_{n=0}^{\infty} \binom{2n}{n} x^n = \frac{1}{\sqrt{1-4x}}. \end{eqnarray*}

Editar: \begin{eqnarray*} \prod_{k=1}^{n}\frac{2n-2k+1}{2n-2k+2}&=&\prod_{k=1}^{n}\frac{2k-1}{2k} =\frac{(2n-1)!!}{(2n)!!}\\ &=&\frac{(2n)!}{(2^n n!)^2}=\binom{2n}{n} \frac{1}{2^{2n}}. \end{eqnarray*}

Answer 2

Otra forma es $$ \eqalign{ & \prod\limits_{k = 1}^n {{{2n - 2k + 1} \over {2n - 2k + 2}}} = \prod\limits_{k = 1}^n {{{\left( {n - k} \right) + 1/2} \over {\left( {n - k} \right) + 1}}} = \prod\limits_{j = 0}^{n - 1} {{{j + 1/2} \over {j + 1}}} = \cr & = {{\left( {1/2} \right)^{\,\overline {\,n\,} } } \over {n!}} = {{\Gamma \left( {n + 1/2} \right)} \over {\Gamma \left( {1/2} \right)\Gamma \left( {n + 1} \right)}} = \left( \matrix{ n - 1/2 \cr n \cr} \right) = \left( { - 1} \right)^{\,n} \left( \matrix{ - 1/2 \cr n \cr} \right) \cr} $$ y luego aplicar la expansión binomial.