，如图给出的是计算

1

2

+

1

4

+

1

6

+…+

1

20

的值的一个程序框图，其中判断框内填入的条件是．

，已知y=f（x）是定义在R上的单调递减函数，对任意的实数x，y都有f（x+y）=f（x）f（y）且f（0）=1，数列{a_n}满足a₁=4，f(log3-

an+1

4

)f(-1-log3

an

4

)=1（n∈N^*）．
（1）求数列{a_n}的通项公式；
（2）设S_n是数列{a_n}的前n项和，试比较S_n与6n²-2的大小．

(14分)在数列中，，.

(1)试比较与的大小关系；

(2)证明：当≥时，.