记[X]为不超过实数X的最大整数,例如,[2]=2,[1.5]=1,[-0.3]=-1.设a为正整数,数列{Xn}满足X1=a,
Xn+1 =[(Xn+[a/Xn])/2](n属于N+),现有下列命题：
①当a=5时,数列{Xn}的前3项分别为5,3,2.
②对数列{Xn}都存在正整数K,当n≧K时总有Xn=Xk
③当n≧1时Xn>sqr(a)-1
④对某个正整数K,若Xk+1≥Xk,则Xn=[sqr(a)]
其中的真命题有