Supongamos primero que la secuencia tiene picos infinitos, "n" < "n" < "n" < … < "n" < … Entonces la subsecuencia correspondiente   formula_1  a los picos es monótonamente decreciente, y ya está.