ボルツァノワイエルシュトラウスの定理

有界な数列は少なくとも一つの収束する部分列を持つ。すなわち関数でいうと上に有界ならば上界に上限を持つってやつね。有開閉区間で関数が連続ならば最大値、最小値を必ず持つことを証明する時にこの定理とカントールの区間縮小方を用いて上限が存在しそれが最大値となることを示すんよ。ちなみに下限も同じように証明できる。関数が閉区間連続ならば、最大値、最小値が必ず存在するっていうのは当たり前やけどこれは公理ではなく、ペアノの公理と実数のデデキント切断によって得られる実数の稠密性を用いることによって得られる定理なんだよね。