Bolzano-Weierstrass theorem for real sequences

This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.

Every whole bounded real sequence has a convergent subsequence selected by an infinite strictly increasing index map.

atlas-bolzano-weierstrass-theorem-real · canonical_mko

Prerequisite nodes