Luego "n" no es un pico, ya que , lo que implica la existencia de un con  formula_2  Una vez más, no es un pico, por lo tanto hay con formula_3  Repetiendo este proceso conduce a una subsucesión infinita no decreciente   formula_4, si lo desea.