[a_{n+1},b_{n+1}]\subseteq[a_n,b_n]