1. Énoncé : toute suite bornée admet une sous-suite convergente. 2. Démonstration par dichotomie. 3. Démonstration par suites monotones extraites. 4. Caractérisation séquentielle de la compacité
Extraction de sous-suite. Compacité séquentielle. Dichotomie