求 $\lim_{n\to\infty}\dfrac{(2n)!!}{(2n+1)!!}$. 尝试用 Wallis 但是感觉太麻烦。

想看看好的做法