，如圖給出的是計(jì)算

1

2

+

1

4

+

1

6

+…+

1

20

的值的一個(gè)程序框圖，其中判斷框內(nèi)填入的條件是．

，已知y=f（x）是定義在R上的單調(diào)遞減函數(shù)，對任意的實(shí)數(shù)x，y都有f（x+y）=f（x）f（y）且f（0）=1，數(shù)列{a_n}滿足a₁=4，f(log3-

an+1

4

)f(-1-log3

an

4

)=1（n∈N^*）．
（1）求數(shù)列{a_n}的通項(xiàng)公式；
（2）設(shè)S_n是數(shù)列{a_n}的前n項(xiàng)和，試比較S_n與6n²-2的大�。�

(14分)在數(shù)列中，，.

(1)試比較與的大小關(guān)系；

(2)證明：當(dāng)≥時(shí)，.