I'm asked to prove that $$\lim_{n \to \infty}\Bigl (\frac{n^n}{(2n)!} \Bigr )=0$$ I thought about using Stirling's approximation since $n \rightarrow\infty$ and then L'hopital in order to prove it directly (Stirling's approximation in order to avoid deriving factorial, which I'm not supposed to know how, given the fact it envolves gamma function). But then I get this: $$\lim_{n \to \infty}\Bigl (\frac{n^n}{(2n)!} \Bigr )=\lim_{n \to \infty}\Bigl (\frac{n^n}{2n\cdot ln(2n)-2n} \Bigr ) = \lim_{n \to \infty}\Bigl (\frac{n^{n-1}}{2ln(2n)-2} \Bigr )="\frac{\infty}{\infty}"$$ Therefore by L'hopital: $$\lim_{n \to \infty} \frac{n^{n-1}}{2ln(2n)-2}=\lim_{n \to \infty} \frac{n^{n-1}\cdot ln(n-1)}{2(\frac{2}{2n})}=\lim_{n \to \infty} \frac{n^{n}\cdot ln(n-1)}{2} \rightarrow\infty$$ My direct approach of proof failed, and I dont come up with a way other than doing the following:
I thoght about simplifying this, and saying I have $n$ factors on my numerator and $2n$ factors on my denominator, meaning: $$\frac{n\cdot n\cdot n....\cdot n}{1\cdot 2\cdot3\cdot...\cdot n\cdot(n+1)\cdot...\cdot(2n-1)\cdot(2n)}$$ Now if I diminish 1 $n$ from both the numerator and denomenator I'm left with $(n-1)$ times $n$ and both $(n-1)$ factors that are smaller than $n$ and $n$ factors bigger than $n$. Therefore my claim is that the overall product in the denomenator shour be bigger, meaning:$$\Bigl(\prod_{i=1}^{n-1}i \Bigr)\times\Bigl(\prod_{i=n+1}^{2n}i \Bigr)\geq \Bigl(\prod_{n=1}^{n-1}n \Bigr)$$
Is that claim too ligical but not enough mathematical, or it should be enough to justify my proof? thanks a lot in advance.