>>296
>https://en.wikipedia.org/wiki/Riemann_integral
>Riemann integral
>Integrability

後半の
”We now prove the converse direction using the sets Xε defined above.[9] For every ε, Xε is compact, as it is bounded (by a and b) and closed:”
が、いまいち分からないので、pdfを探すと下記
西谷達雄先生
Lebesque積分 講義録 がヒット

こっちの方がまだ分かる　；ｐ）
以下、下記西谷PDFより抜粋
・P10 "1.3零集合の定義と特徴づけ"が良いね
・P11 ”定義1.3.2ある性質(P)が適当な零集合を除けば成立しているとき，ほとんど至る所(P)が成立するといい，(P)a.e.(almosteverywhere)と略記する．”
・P12 "1.4基本補題"「ここで今後の考え方の基礎となる補題を２つ証明する．これらは非負の階段関数列の単調減少列があったとき，その積分値の零極限の存在と関数列自身の殆ど至る所での零極限の存在の同等性を主張するものである．」
・P13 "1.5 Lebesgueの判定条件 いままでの考察をRiemann積分可能性の判定に応用してみよう．"
　（Darboux和使用）
・P14 "定理1.5.1f(x)がRiemann積分可能であるためにはf(x)=f(x),a.e.となることが必要十分である．"
　"証明：まずf(x)をRiemann積分可能としよう．Darbouxの定理1.1.1と系1.1.1によれば・・略"
・P16 "定理1.5.2 (Lebesgue)f(x)がRiemann積分可能であるための必要十分条件はf(x)の不連続点の集合が零集合となることである．
　証明：最初にf(x)がx=x0で連続であるための必要十分条件は・・略
　さて定理の証明に移る．f(x)をRiemann積分可能とすると，定理1.5.1よりf∼(x)=f(x)=f(x)=f(x)=f∼(x),a.e.従ってf(x)は殆ど至る所連続である．逆にf(x)が殆ど至る所で連続とする．このとき，殆どいたるところf∼(x)=f∼(x).従ってf(x)=f(x),a.e.ゆえに再び定理1.5.1よりf(x)はRiemann積分可能である．(証終)"

中途半端に、Lebesque積分やLebesque測度を使わずに証明しようとしているのかな？ en.wikipediaは
Darboux和（＝Darboux積分）は、使っている

(参考)
http://www4.math.sci.osaka-u.ac.jp/~nishitani/
西谷達雄,Department of Mathematics Osaka University
http://www4.math.sci.osaka-u.ac.jp/~nishitani/Lebesgue.pdf
Lebesque積分 講義録