a_1 < a_2