suites monotones - majoration par la limite

Auteur :
Demaria Philippe
Soit (un) une suite croissante définie.Si lim un = L alors la suite (un) est majorée par L.