Intereting Posts

Is there a formula for $(1+i)^n+(1-i)^n$?
Dominated convergence theorem for absolutely continuous function
Approximation of $L^1$ function with compactly supported smooth function with same mass
Proving that the general linear group is a differentiable manifold
Proving that a function from $N\times N$ to $N$ is bijective.
Is the Dirac Delta “Function” really a function?
geometrical interpretation of a line integral issue
Is there an elementary proof that $\sum \limits_{k=1}^n \frac1k$ is never an integer?
L'hopitals rule with limits
$ \lim_{x \rightarrow \ + \infty}(\sqrt{x^2 + 2x} – \sqrt{x^2 – 7x})$
What are some examples of classes that are not sets?
A stronger version of discrete “Liouville's theorem”
How to evaluate $\int_0^1\frac{\log^2(1+x)}x\mathrm dx$?
Questions on limit superiors
Every non-finitely generated module has a minimal generating set.

As a passage of a bigger limit I have to show that $$ \lim_{ n \to \infty } \frac{\log(n!)}{n\log(n)} = 1. $$

I think it could be done using Stirling approximation, but I’m wondering if there’s a way without that formula.

- Verify $\int\sec x\ dx=\frac12 \ln \left\lvert\frac{1+\sin x}{1-\sin x}\right\rvert + C$
- List of interesting integrals for early calculus students
- Toward “integrals of rational functions along an algebraic curve”
- Does the series $\sum \sin^{(n)}(1)$ converge, where $\sin^{(n)}$ denotes the $n$-fold composition of $\sin$?
- How to prove that $e = \lim_{n \to \infty} (\sqrt{n})^{\pi(n)} = \lim_{n \to \infty} \sqrt{n\#} $?
- passing the Derivative inside an integral
- Indefinite integral question: $\int \frac{1}{x\sqrt{x^2+x}}dx$
- If $f\in S_\infty$ and $\int_{\mathbb{R}}x^pf(x)d\mu=0$ for all $p\in\mathbb{N}$ then $f\equiv 0$?
- How to compute $\int_{-\infty}^\infty\exp\left(-\frac{(x^2-13x-1)^2}{611x^2}\right)\ dx$
- If a Sequence of Polynomials Converge to Another Polynomial Then the Roots Also Converge.

We compute $$ \lim_{n\to\infty} \frac{ \log( (n+1)! ) – \log (n!) }{ (n+1)\log(n+1) – n\log n} = \lim_{n\to\infty} \frac{ \log (n+1) }{ \log (n+ \theta_n)+1}=1$$

where $\theta_n \in (0,1)$ is obtained from the Mean Value Theorem. It follows from the Stolz-Cesàro theorem that the limit in question is also equal to $1.$

With an integral test for convergence: $\displaystyle \int_1^n \log(x)dx \leq \sum\limits_{k=2}^n \log(k) = \log(n!) \leq \int_2^{n+1} \log(x)dx$.

You can deduce the stronger result: $\log(n!)=n\log(n)-n + o(n)$.

This can be done with very little technology. Note that

$$\log n! = \sum_{i=1}^n \log i \le \sum_{i=1}^n \log n = n \log n$$

so it suffices to show that $\log n!$ is eventually greater than $cn \log n$ for every constant $c < 1$. But for every positive constant $k$ we have

$$\log n! = \sum_{i=1}^n \log i \ge \sum_{i=\lfloor \frac{n}{k} \rfloor}^n \log \left\lfloor \frac{n}{k} \right\rfloor \approx \left( 1 – \frac{1}{k} \right) n \left( \log n – \log k \right)$$

and taking $k \to \infty$ the conclusion follows.

We have

$$\log n!=\sum_{j=1}^n\log\frac jn+n\log n,$$

so we have to show that $\frac 1{n\log n}\sum_{j=1}^n\log\frac jn\to 0.$ We use the inequality $\log(1+t)\geq t-t^2/2$ for $t\geq -1$, to get

$$0\geq \frac 1{n\log n}\sum_{j=1}^n\log\frac jn\geq \frac 1{n\log n}\sum_{j=1}^n\left(\frac jn-1\right)-\frac 1{2n\log n}\sum_{j=1}^n\left(\frac{j}{n}-1\right)^2.$$

We have in the RHS $\frac 1{\log n}$ times a Riemann sum (associated with $t\mapsto t-1-\left(t-1\right)^2/2$), hence $\frac 1{\log n}$ times a bounded term, which gives the result.

- is uniform convergent sequence leads to bounded function?
- Prove that every group of order $4$ is abelian
- Let $f : X \to Y$ be a function and $E \subseteq X$ and $F \subseteq X$. Show that in general
- Intersections of the level curves of two (conjugate) harmonic functions
- Number of relations that are both symmetric and reflexive
- Triangle and Incircle
- How can I Prove that H=G or K=G
- Why is integration so much harder than differentiation?
- How to get used to commutative diagrams? (the case of products).
- Good book recommendations on trigonometry
- Geodesics on the product of manifolds
- Logical formula of definition of linearly dependent
- How to show that $\vdash (\forall x \beta \to \alpha) \leftrightarrow \exists x (\beta \to \alpha)$?
- Visualizing Lie groups.
- Evaluate $\lim _{x\to \infty }\left(\cos\sqrt{x}-\cos\sqrt{x-1}\right)$