记[ x ]为不超过实数 x 的最大整数.例如,[2]=2,[1.5]=1,[-0.3]=-1.设 a 为正整数,数列{ x n }满足 x 1 = a , x n +1 = ( n ∈N * ).现有下列命题: ①当 a =5时,数列{ x n }的前3项依次为5,3,1; ②对数列{ x n }都存在正整数 k ,当 n ≥ k 时总有 x n = x k ; ③当 n ≥1时, x n > -1; ④对某个正整数 k ,若 x k +1 ≥ x k ,则 x k =[ ]. 其中的真命题有________.(写出所有真命题的编号)