C´est simple mais chiant à écrire.
Tu prends ton inégalité, tu peux la réécrire n fois en remplaçant p par les entiers de 1 à n.
Tu sommes à chaque fois :
a < b < c et d < e < f
=> a+d < b+e < c+f
Tu te retrouves avec Un qui sera encadré par :
n/(n²+1) + n/(n²+2) + ... + n(n²+n) à gauche,
et n/(n²+1) + ... + n/(n²+1), n fois à droite.
Pas de problème à droite du coup, tu obtiens bien ce que tu cherchais.
On en est donc à :
n/(n²+1) + n/(n²+2) + ... + n(n²+n) < Un < n²/(n²+1)
Or n²+1 < n²+n de même que n²+2 < n²+n, etc.
D´où :
1/(n²+1) > 1/(n²+n), etc les autres valeurs.
Tu peux multiplier par n² des 2 côtés sans changer l´ordre (n positif strictement).
On en déduit :
n/(n²+n) + ... + n/(n²+n) < n/(n²+1) + n/(n²+2) + ... + n(n²+n) < Un < n²/(n²+1)
Tu peux encore sommer la partie de gauche en ce que tu cherches, tu vires la partie en trop et c´est fini.
C´est hyper brouillon mais c´est ça. 