Soit e > 0. Il existe un entier N tel que pour tout n > N, n*e > 1. Ainsi :
Pour tout n > N, e^5 + ne - 1 > 0
Pour tout n > N, F_n(e) > 0
Pour tout n > N, u_n < e (même argument que tout à l'heure, si F_n(e) > 0 c'est que u_n < e).
Donc pour tout e > 0, il existe un entier N tel que pour tout n > N, 0 < u_n < e, ce qui prouve que u_n tend vers 0.