1. ## limit, sequence, exists

Define $\displaystyle a_n = 1+\frac{1}{2}+\frac{1}{3}+ \cdots + \frac{1}{n} - \int^n_1 \frac{1}{t}dt$. Prove that $\displaystyle a=\lim_{n \rightarrow \infty} a_n$ exists and $\displaystyle 0<a<1$.
Attempt
My issue is the integral in the sequence. I don't know how to take the limit of the sequence with that in there. I think there is a way to break up the integral to take the limit of the sequence easier. I need help with this question. Thanks in advance.

2. Let's indicate with $\displaystyle \gamma$ the limit...

$\displaystyle \gamma = \lim_{n\rightarrow \infty} 1 + \frac {1}{2} + \frac{1}{3} + \dots + \frac{1}{n} - \int_{1}^{n}\frac{dt}{t} = \lim_{n\rightarrow \infty} \int_{1}^{n} (\frac {1}{\lfloor t \rfloor} - \frac{1}{t})\cdot dt = \lim_{n\rightarrow \infty} \sum_{k=1}^{n} \int_{k}^{k+1} (\frac {1}{\lfloor t \rfloor} - \frac{1}{t})\cdot dt$

... where $\displaystyle \lfloor * \rfloor$ is the so called 'floor function'. On the basis of geometrical considerations [a diagram would be useful to better undestand...] you can demonstrate that is...

$\displaystyle \int_{k}^{k+1} (\frac {1}{\lfloor t \rfloor} - \frac{1}{t})\cdot dt < \frac {1}{2\cdot k^{2}}$

... so that...

$\displaystyle \gamma < \lim_{n\rightarrow \infty} \frac{1}{2}\cdot \sum_{k=1}^{n} \frac{1}{k^{2}}= \frac{\pi^{2}}{12} = .822467033424 \dots$

Kind regards

$\displaystyle \chi$ $\displaystyle \sigma$