[35] The Bolzano-Weierstrass theorem Every bounded sequence has a convergent subsequence.／ボルツァーノ・ワイエルシュトラスの定理 有界列は収束する部分列を持つ。

https://www.evernote.com/shard/s29/sh/664daec1-f9f7-4cbf-a095-669f4a20a3da/c0079223080bbd3cf3b35d606375ea1e