>>49
a[n]は有界な整数列なので、鳩ノ巣原理より題意が従う