a_n=[x]