设[x]表示不超过x的最大整数，若[π]=3，[﹣1.2]=﹣2．给出下列命题：
①对任意的实数x，都有x﹣1＜[x]≤x．
②对任意的实数x、y，都有[x+y]≥[x]+[y]．
③[lg1]+[lg2]+[lg3]+…+[lg2014]+[lg2015]=4940．
④若函数f（x）=[x[x]]，当x∈[0，n）（n∈N^*）时，令f（x）的值域为A，记集合A中元素个数为a_n，则的最小值为，其中所有真命题的序号为       ．