，如圖給出的是計算

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)證明：當≥時，.