勘違いだった。
a_i＜b_i∈R(i∈N) ではなくて、a_i＜b_j∈R(i,j∈N) なんだね。