La sucesión es acotada y converge a \(1\), así que todas sus subsucesiones tienden a \(1\notin(1,2]\). Por eso \((1,2]\) no es secuencialmente compacto.
Un espacio métrico \(X\) es secuencialmente compacto si toda sucesión \((x_n)\) en \(X\) tiene una subsucesión \((x_{n_k})\) que converge a un punto \(x\in X\).