What is bigger $f(n) = \sum_{i=1}^{n^3} \log i, g(n) = \log((\log\sqrt{n})!)$?
So I believe it is $f(n)$, I want to prove it goes to infinity faster than $g(n)$.
So: $f(n) = \sum_{i=1}^{n^3} \log i = \log(1 \cdot 2 \cdot ... \cdot n^3) = \log(n^3!)$
And from now it is "easy" for me to see that $f(n)$ goes to infinity faster than $g(n)$, How can I show that by this: $\lim \frac{f(n)}{g(n)} = \infty$?
Since $k! \le k^k$ (each factor is at most $k$), we have $$ g(n) \le \log \big( (\log\sqrt n)^{\log\sqrt n} \big) = (\log\sqrt n)(\log\log\sqrt n) < (\log n)(\log \log n). $$ On the other hand, $$ f(n) \ge \sum_{i=n}^{n^3} \log i \ge (\log n) \sum_{i=n}^{n^3} 1 > (\log n)(n^3-n). $$ Therefore $$ \frac{f(n)}{g(n)} >\frac{n^3-n}{\log\log n}, $$ which tends to infinity.