(a ≤ a) y acotada superiormente, entonces (a) es convergente.