<s>[INST] An uncommon continued fraction of $\frac{\pi}{2}$ I'm currently stuck with the following infinite continued fraction:
$$\frac{\pi}{2}=1+\dfrac{1}{1+\dfrac{1\cdot2}{1+\dfrac{2\cdot3}{1+\dfrac{3\cdot 4}{1+\cdots}}}}$$
There is an obscure clue on this: as one can derive the familiar Lord Brouncker’s fraction below
$$
\frac{4}{\pi}=1+\dfrac{1^{2}}{2+\dfrac{3^{2}}{2+\dfrac{5^{2}}{2+\dfrac{7^{2}}{2+\cdots}}}}
$$
from the Wallis' Formula:
$$
\dfrac{2}{\pi}=\frac{1 \cdot 3}{2 \cdot 2} \cdot \frac{3 \cdot 5}{4 \cdot 4} \cdot \frac{5 \cdot 7}{6 \cdot 6} \cdot \frac{7 \cdot 9}{8 \cdot 8} \cdots
$$
the first fraction can be proved in the same manner.
However, I'm not getting any close to it using the Wallis' Formula. Really appreciated if anyone could point me the right direction or explain further how to systematically derive those continued fractions from any given convergent cumulative product.
 [/INST] The result comes from a rather slight modification of Euler's continued fraction ,
$$a_{0}+a_{0}a_{1}+a_{0}a_{1}a_{2}+....=\cfrac{a_0}{1-\cfrac{a_1}{1+a_1-\cfrac{a_2}{1+a_2-\cfrac{a_3}{\cdots}}}}\label{1}\tag{1}$$
Note that for a product $a_0a_1a_2\cdots$; we can represent them as,
$$\begin{align}a_{1}a_{2}a_{3}...&=a_{1}+a_{1}\left(a_{2}-1\right)+a_{1}a_{2}\left(a_{3}-1\right)+\cdots\label{2}\tag{2}\end{align}$$
With \eqref{2} in \eqref{1},
$$a_{1}a_{2}a_{3}a_{4}\cdots=1+\cfrac{a_{1}-1}{1-\cfrac{a_{1}\left(a_{2}-1\right)}{a_{2}a_{1}-1-\cfrac{\left(a_{1}-1\right)a_{2}\left(a_{3}-1\right)}{a_{3}a_{2}-1-\cfrac{\left(a_{2}-1\right)a_{3}\left(a_{4}-1\right)}{\cdots}}}}\label{3}\tag{3}$$
Now apply the Wallis product, $$\frac{\pi}{2}=\frac{2\cdot2}{1\cdot3}\cdot\frac{4\cdot4}{3\cdot5}\cdot\frac{6\cdot6}{5\cdot7}\cdots$$
in \eqref{3} with $a_1=2/1$, $a_2=2/3$ ... to get the first result

The second result is not obtained via the Wallis product, but from the Leibniz series for $\pi/4$ using \eqref{1}
</s>