Seja $(x_{n_k})_{k \in \omega}$ a subsequência formada pelos picos, onde $n_k < n_p$ se $k < p$. Note que essa sequência é infinita (pois existem infinitos picos) e é decrescente. De fato, seja $x_{n_k}$ e $x_{n_{k+1}}$. Como $n_k < n_{k+1}$, então $x_{n_k} > x_{n_{k+1}}$. Note também que $x_{n_0}$ é o maior pico, pois $n_0 < n_k, \forall k>0$, portanto $x_{n_0} > x_{n_k}$.