El Teorema de Bolzano-Weierstrass nos dice que existe una subsucesión {formula_5}, que converge a un punto "d" y, dado que ["a","b"] es cerrado, "d" está en ["a","b"].