Posons
f(t)=1+t21 La fonction f est continue, positive et décroissante sur [0,+∞[.
On peut réécrire la quantité étudiée sous la forme
nvn=nk=1∑n2n2+k21=n1k=1∑n21+(nk)21=n1k=1∑n2f(nk) Comme f est décroissante, pour tout k∈{1,…,n2},
∫k/n(k+1)/nf(t)dt≤n1f(nk)≤∫(k−1)/nk/nf(t)dt En sommant ces inégalités pour k=1,…,n2, on obtient
∫1/nn+1/n1+t2dt≤nvn≤∫0n1+t2dt Une primitive de t⟼1+t21 est arctan. Ainsi,
arctan(n+n1)−arctan(n1)≤nvn≤arctan(n) Or, lorsque \(n\) tend vers \(+\infty\),
arctan(n+n1)−arctan(n1)⟶2π et
arctan(n)⟶2π Par le théorème des gendarmes,
nvn⟶2π