Bolzano-Weierstrass

Egyváltozós eset

​${ℝ}^p$-ban is minden korlátos sorozatnak létezik konvergens részsorozata.