Weierstrassin lause ylhäältä rajatusta kasvavasta sekvenssistä (tai alhaalta rajatusta laskevasta sekvenssistä) sanoo, että jokaisella monotonisesti kasvavalla (tai monotonisesti laskevalla) ylhäältä rajatulla sekvenssillä on raja, ja tämä raja on yhtä suuri kuin sen suurin ylempi (tai alempi) sidottu. Huolimatta todisteen läpinäkyvyydestä ja ilmeisyydestä, tämä lause osoittautuu erittäin käteväksi löytää monien sekvenssien rajat tai ainakin todistaa niiden olemassaolo.
---
Antaa olla rajoitettu kasvava sekvenssi. Silloin joukko on rajoitettu, joten sillä on supremumilause . Merkitään se . Sitten . Todellakin, koska on Supremum asetettu , Sitten tahansa on olemassa numero sellainen, että . Sitten kaikille, mitä meillä on: . Sitten klo . Siksi ,. Lause on todistettu. [yksi]
Zorich V. A. Matemaattinen analyysi. Osa I. M.: Nauka, 1981. 544 s.