1. t↦t1 est continue et positive sur [k,k+1] : Ak est l'aire, en unités d'aire, du domaine limité par la courbe de t↦t1, l'axe des abscisses et les droites t=k, t=k+1. Ak=[lnt]kk+1=ln(k+1)−lnk.
2. Idée : encadrer l'intégrande, puis intégrer sur un intervalle de longueur 1. t↦t1 est décroissante : pour t∈[k,k+1], k+11≤t1≤k1. En intégrant sur [k,k+1] : k+11≤Ak≤k1.
3. Relation de Chasles : Sn=∫12tdt+∫23tdt+⋯+∫nn+1tdt=∫1n+1tdt=ln(n+1).
4. En sommant Ak≤k1 pour k=1,…,n : ln(n+1)=Sn≤Hn. Pour n≥2, en sommant k+11≤Ak pour k=1,…,n−1 : Hn−1≤Sn−1=lnn ; pour n=1, H1=1=1+ln1. D'où ln(n+1)≤Hn≤1+lnn.
5. ln(n+1)→+∞, donc limHn=+∞. Pour n≥2, lnnln(n+1)≤lnnHn≤lnn1+1 ; or lnnln(n+1)=1+lnnln(1+n1)→1 : limlnnHn=1.
6. un+1−un=n+11−(ln(n+1)−lnn)=n+11−An≤0 d'après 2 : la suite est décroissante. Et un≥ln(n+1)−lnn>0 d'après 4. Décroissante et minorée, elle converge (vers un réel γ≈0,577).