Show that $\log n! - (n+1/2)\log n + n$ has a finite limit when $n\to\infty$ I am trying to show $\lim\limits_{n \to \infty} (\log n! - (n+1/2)\log n + n)$ exists as part of a much bigger problem. I could really use some help.
My attempt: I tried to use the fact that $1+ \frac {1}{2}+ \frac {1}{3}+ ... +\frac {1}{n} - \log n$ exists, but I got nowhere.

Hint. If you set
$$
u_n:=\log n! - (n+1/2)\log n + n,\qquad n=1,2,3,\cdots,
$$ then you may prove that

$$
u_{n+1}-u_n=1-\left(\frac{1}{2}+n\right) \log\left(1+\frac{1}{n}\right)\leq0 \tag1
$$ 

implying the sequence $\left\{u_n\right\}$ is decreasing. On the other hand, you have

$$
u_n\geq0. \tag2
$$ 

Thus $\lim\limits_{n \to \infty}u_n=\lim\limits_{n \to \infty} (\log n! - (n+1/2)\log n + n)$ exists.

Edit. Let's give some details.


*

*Proof of $(1)$. Setting $\displaystyle f(x):=\frac{2x}{x+2}-\log(1+x),\, x  \in [0,1],$ we have $$ f(0)=0, \quad
   f'(x)=\frac{-x^2}{(x+2)^2(x+1)}\leq0 \quad  \implies f(x)\leq0, \quad
   x \in [0,1], $$ giving, for $n\geq1$,  $$
   u_{n+1}-u_n=\left(\frac12+n\right)\underbrace{\color{#C00000}{\left(\frac1{\frac12+n}
   -\log\left(1+\frac{1}{n}\right)\right)}}_{\large \color{#C00000}{f\left(\frac1n
   \right)} \leq\:\color{#C00000}{0}} \leq \color{#C00000}{0} .$$

*Proof of $(2)$. One may observe that, for $n\geq1$,$$
\begin{align}
&u_n=\log n! - (n+1/2)\log n + n\\
&=\sum_{k=1}^n\log k-\int_{\frac12}^{n+\frac12}\log x\,\mathrm{d}x+(n+1/2)\log \left(1+\frac1{2n}\right)+\frac12\log 2\\
&=\underbrace{-\sum_{k=1}^nk\int_0^{\frac1{2k}}\log\left(1-x^2\right)\,\mathrm{d}x}_{\large \color{blue}{\geq \:0}}+\underbrace{(n+1/2)\log \left(1+\frac1{2n}\right)+\frac12\log 2}_{\large \color{blue}{\geq \:0}}\color{blue}{\geq 0}.
\end{align}
$$
