Quiero probar el siguiente límite
$$\lim_{n\rightarrow\infty}\frac{1}{n}\left(\frac{(2n)!}{n!}\right)^{\frac1n}=\frac4e$$
En un ejercicio anterior encontré que $\int_1^2\ln x dx=2\ln(2)-1$ que también es igual a $\ln(4/e)$. ¿Estoy pensando en que alguna forma podría utilizar este resultado?