Premium Only Content

Bounded Sequences, Completeness Axiom, and the Monotonic Sequence Theorem
In this video I first go over the definition of bounded sequences, then discuss the completeness axiom in number theory and how it is used to proof the monotonic sequence theorem. A sequence is bounded above if there is a number greater than every term in the sequence. A sequence is bounded below if there is a number smaller than every term. The completeness axiom simply states that for a set of real numbers with an upper bound, then there exists a number that is the least or smallest of upper bounds. Since an infinite number of upper bounds can exists, the least upper bound is simply the smallest one. This axiom also illustrates how there are no gaps or holes in real numbers, unlike that for the sets of only irrational or only rational numbers (the combination of which simply yield the set of real numbers).
The monotonic sequence theorem states that every bounded and monotonic sequence (increasing or decreasing) are convergent. By the completeness axiom for real numbers, I rearrange the least upper bound of the sequence to obtain the definition of the limit of a sequence, thus proving its convergence.
#math #sequences #calculus #completeness #logic
Timestamps:
- Definition 5: Sequences bounded above and bounded below: 0:00
- Not every bounded sequence is convergent: 2:16
- Not every monotonic sequence is convergent: 3:05
- A bounded and monotonic sequence must be convergent: 3:25
- Completeness Axiom: no hole or gap in the real number line: https://x.com/i/grok/share/X04g5xItDl2FVk8iZxLgQjfvc 5:16
- Completeness of the real number Wikipedia: https://en.wikipedia.org/wiki/Completeness_of_the_real_numbers 8:13
- Monotonic Sequence Theorem and proof 9:30
- Used completeness axiom to obtain the definition of the limit: 14:16
- Similar proof for greatest lower bound for a decreasing and bounded sequence: 14:46
Notes and playlists:
- Summary: https://inleo.io/threads/view/mes/re-leothreads-24x7zlzue
- Playlist: https://www.youtube.com/playlist?list=PLai3U8-WIK0HUgfK34Voi6BvrNqt4X4BV
- Notes: https://peakd.com/mathematics/@mes/infinite-sequences-limits-squeeze-theorem-fibonacci-sequence-and-golden-ratio-more
- Infinite Sequences and Series playlist: https://www.youtube.com/playlist?list=PLai3U8-WIK0EXHAJ3vRg0T_kKEyPah1Lz .
------------------------------------------------------
Become a MES Super Fan! https://www.youtube.com/channel/UCUUBq1GPBvvGNz7dpgO14Ow/join
DONATE! ʕ •ᴥ•ʔ https://mes.fm/donate
SUBSCRIBE via EMAIL: https://mes.fm/subscribe
MES Links: https://mes.fm/links
MES Truth: https://mes.fm/truth
Official Website: https://MES.fm
Hive: https://peakd.com/@mes
Email me: contact@mes.fm
Free Calculators: https://mes.fm/calculators
BMI Calculator: https://bmicalculator.mes.fm
Grade Calculator: https://gradecalculator.mes.fm
Mortgage Calculator: https://mortgagecalculator.mes.fm
Percentage Calculator: https://percentagecalculator.mes.fm
Free Online Tools: https://mes.fm/tools
iPhone and Android Apps: https://mes.fm/mobile-apps
-
2:29:25
Math Easy Solutions
5 days agoMES Math Q/A 34: Can a Plane going 590 mph Slice Through Steel Columns?
3391 -
LIVE
The Pete Santilli Show
3 hours agoMORNING STREAM Tuesday September 9, 2025 💣 THE PETE SANTILLI SHOW & SANTILLI REPORT (Monday 9/8)
485 watching -
LIVE
The Chris Salcedo Show
12 hours ago $1.90 earnedWhat Does The Data & Science Say?
435 watching -
20:14
Jasmin Laine
18 hours agoSHOCKING SLIP-UP: Liberals Accidentally CONFIRM Oil & Gas PHASE-OUT
41.4K25 -
38:14
The Official Corbett Report Rumble Channel
1 day agoWar Is A Crime
19.1K23 -
2:02:17
BEK TV
1 day agoTrent Loos in the Morning - 9/09/2025
16.5K -
LIVE
The Bubba Army
23 hours agoMore Epstein Files Dropped! - Bubba the Love Sponge® Show | 9/09/25
1,532 watching -
LIVE
FyrBorne
20 hours ago🔴Warzone M&K Sniping: How To Harness The Beast (Of Sniping)
84 watching -
7:02
Sugar Spun Run
1 day ago $1.57 earnedBrownies from Scratch
36K6 -
10:07
The Official Steve Harvey
17 hours ago $0.90 earned82 Years of Love, Laughs & Keeping It Real
13.7K1