>>225 Jordan加測の定義から測度ε/2の誤差のCに包まれる区間塊Jが存在する
 あとは必要ならJのn番目の元をε/2^(n+1)両端を削って閉区間にしていけばいい。