Bonjour,
Comme le montre le titre je veux montrer que lim inf de An est inclut dans lim sup de An.
j'ai exprimé x € liminf An avec (il existe n€N) (quelque soit p>=n)/x€Ap
et x€ limsup An avec (quelque soit n €N)(il exise p>=n)/ x€Ap
mais après je sais pas quoi faire :S
Vous avez une idée, une remarque sur ce que j'ai fait?
Merci d'avance.
-----