Demostrar que $10^{340} < \dfrac{5^{496}}{1985}$.
Me dijo que desde que $2^{13} < 10^{4}$, podemos ver que $5 = \dfrac{10}{2} > 10^{\frac{9}{13}}$$10^{340} < \dfrac{10^{343.38}}{1985} <\dfrac{5^{496}}{1985}$. Pero luego tengo para estimar el $\log_{10}{2} < 0.31$, que es bastante computacional. Hay una manera más fácil?