check a_n, b_n