0. この記事でやること Darboux の定理と言う名前の定理はいくつかあるらしいが、ここでいう Darboux の定理は、解析学における積分の理論で重要になる命題である。最近解析学を学んでいるのだが、Riemann 積分の理論の中では一番技巧的(?)な命題で、ちょっ…