设定义在R上的函数满足：①对任意的实数，有②当.
数列满足.
（1）求证：，并判断函数的单调性；
（2）令是最接近的正整数，即，
设，求 ；