Prove $\frac{1}{2}\cdot\frac{3}{4}\cdot...\cdot\frac{2n-1}{2n}<\frac{1}{\sqrt{3n}}$ for all $n$. Prove for all $n$: $\frac{1}{2}\cdot\frac{3}{4}\cdot...\cdot\frac{2n-1}{2n}<\frac{1}{\sqrt{3n}}$.
Using induction, I tried the brain-dead method and went straight for $$\frac{2n+1}{2n+2}\cdot\frac{1}{\sqrt{3n}}<\frac{1}{\sqrt{3n+3}}$$ $$...$$ $$1<0.$$ After embarrassing myself, I looked around and I found this thread. Using induction, we can then easily prove $$\frac{1}{2}\cdot\frac{3}{4}\cdot...\cdot\frac{2n-1}{2n}\leq\frac{1}{\sqrt{3n+1}}$$ $$\frac{1}{2}\cdot\frac{3}{4}\cdot...\cdot\frac{2n-1}{2n}\leq\frac{1}{\sqrt{3n+1}}<\frac{1}{\sqrt{3n}}.$$ This gets me to the original problem. But in a problem solving standpoint, how do you think to use $\frac{1}{\sqrt{3n+1}}$? Is there some point in the first induction that leads to this idea? Or is there a better method than the above?

Notice that
$$\frac{1}{\sqrt{an+b}} \cdot \frac{2n+1}{2n+2} \le \frac{1}{\sqrt{a(n+1)+b}} \\
\iff (a(n+1)+b)(2n+1)^2 \le (2n+2)^2 (an+b) \\
\iff an+a-4bn-3b \le 0$$
Hence if $a=3$, then $b=1$ would work. Of course, you need to prove the initial case ($n$=1).
BTW: how amazing it is that the first two answers got $e$ and $\pi$, respectively.
