LinearRecursion Inequality

Problem - 3199
Show that $$\frac{1}{2}\cdot\frac{3}{4}\cdots\frac{2n-1}{2n} < \frac{1}{\sqrt{3n}}$$

report an error