Basic Analysis: Introduction to Real Analysis, Volume I by Jiří Lebl / 2.3 Limit superior, limit inferior, and Bolzano–Weierstrass

Online text: www.jirka.org/ra/html/sec_bw.html

Cited passages: Basic Analysis, Volume I by Jiří Lebl, opening footnote to §2.3: the theorem's two namesakes; Basic Analysis, Volume I by Jiří Lebl, §2.3.3, Theorem 2.3.8: every bounded real sequence has a convergent subsequence; Lebl, Basic Analysis I, §2.3: equality of finite bounds and extended limits; Lebl, Basic Analysis I, §2.3: extreme subsequential limits.