Bonjour Barbu,
tout d'abord pour que cela soit plus clair dans ta tête, il faut que tu traduise les définitions en français... par exemple :

ce la veut dire que pour tout entier n il existe un entier p>=n tel que

autrement dit on trouvera toujours (et ceci pour un entier p aussi grand que l'on veut) un entier p tq. x soit dans

autrement dit encore

représente l'ensemble des éléments x qui appartiennent à une infinité de

.
De même, on arrive à montrer que

représente l'ensemble des éléments qui appartiennent à tous les

à partir d'un certain rang.
Voilà pour la généralité...sinon plus particulièrement pour ton problème, il est évident que

ensuite si

alors il existe

tq.

et puisque
_n)
est croissante

pour tout
