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
est croissante
pour tout