已知定义在R上的单调函数f(x),存在实数x 0 ,使得对于任意实数x 1 ,x 2 ,总有f(x 0 x 1 +x 0 x 2 )=f(x 0 )+f(x 1 )+f(x 2 )恒成立. (1)求x 0 的值; (2)若f(x 0 )=1,且对于任意正整数n,有 a n = 1 f(n) , b n =f( 1 2 n )+1 ,记S n =a 1 a 2 +a 2 a 3 +…+a n a n+1 ,T n =b 1 b 2 +b 2 b 3 +…+b n b n+1 ,比较 4 3 S n 与T n 的大小关系,并给出证明; (3)在(2)的条件下,若不等式 a n+1 + a n+2 +…+ a 2n > 4 35 [ log 1 2 (x+1)- log 1 2 (9 x 2 -1)+1] 对任意不小于2的正整数n都成立,求x的取值范围.