Cette démonstration — y compris la terminologie de « pic » (peak point) — est présentée dans le cas des suites réelles par (en) Michael Spivak, Calculus, (lire en ligne), chap. 21 (« Infinite Sequences »), p. 378 (p. 451 de l'éd. de 2006 sur Google Livres). En référence à cette démonstration, certains auteurs[Qui ?] appellent la propriété correspondante le « Lemme des pics ». Lorsqu'on ignore si la suite considérée admet ou non une infinité de pics, cette démonstration ne fournit pas de méthode pour construire une sous-suite monotone.
books.google.com
Cette démonstration — y compris la terminologie de « pic » (peak point) — est présentée dans le cas des suites réelles par (en) Michael Spivak, Calculus, (lire en ligne), chap. 21 (« Infinite Sequences »), p. 378 (p. 451 de l'éd. de 2006 sur Google Livres). En référence à cette démonstration, certains auteurs[Qui ?] appellent la propriété correspondante le « Lemme des pics ». Lorsqu'on ignore si la suite considérée admet ou non une infinité de pics, cette démonstration ne fournit pas de méthode pour construire une sous-suite monotone.
