记[x]为不超过实数x的最大整数．例如，[2]＝2，[1.5]＝1，[－0.3]＝－1.设a为正整数，数列{x_n}满足x₁＝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＝[]．
其中的真命题有________．(写出所有真命题的编号)