记[x]为不超过实数x的最大整数，例如，[2]=2，[1.5]=1，[﹣0.3]=﹣1．设a为正整数，数列{x_n}满足x₁=a， ，现有下列命题：

①当a=5时，数列{x_n}的前3项依次为5，3，2；

②对数列{x_n}都存在正整数k，当n≥k时总有x_n=x_k；

③当n≥1时， ；

④对某个正整数k，若x_k+1≥x_k ， 则 ．

其中的真命题有．（写出所有真命题的编号）