TeX source:
0\leq a_n\leq b_n