Ну да, подпоследовательность. Только я брал ее не для x_n, а для n.