求证：3²ⁿ⁺²-8n-9（n∈N^*）能被64整除．

已知数列{a_n}的通项公式为a_n=2^n-1+1．
（1）若S_n=a₁C_n⁰+a₂C_n¹+a₃C_n²+…+a_n+1C_nⁿ，（n∈N^*），求证：当n为偶数时，S_n-2ⁿ-4n-1能被64整除．
（2）是不是存在等差数列{b_n}，使得b₁C_n¹+b₂C_n²+…+b_nC_nⁿ=n（a_n-1）对一切n∈N^*都成立？若存在，求数列{b_n}的通项公式；若不存在，则请说明理由．
（3）记T_n=1!C_n¹+2!C_n²+3!C_n³+…+n!C_nⁿ（n=1，2，3，…），当n≥2时，求证：（1+

1

T1

）（1+

1

T2

）（1+

1

T3

）…（1+

1

Tn

）≤3-

1

1+log2(an-1)

．