已知数列{a_n}的前n项和S_n和通项a_n满足（q是常数，且q>0，q≠1）。
（1）求数列{a_n}的通项公式；
（2）当q=时，试证明S_n＜。
（3）设函数f（x）=log_qx，b_n=f（a₁）+f（a₂）+…+f（a_n），是否存在正整数m，使对n∈N*都成立？若存在，求出m的值；若不存在，请说明理由。

已知数列的前n项和和通项满足（q是常数且）。
（1）求数列的通项公式；
（2）当时，试证明：；
（3）设函数，，是否存在正整数m，使对任意n∈N*都成立？若存在，求出m的值，若不存在，说明理由。

已知集合A={1，2，3，…，2n}(n∈N*)，对于A的一个子集S，若存在不大于n的正整数m，使得对S中的任意一对元素s₁，s₂，都有|s₁-s₂|≠m，则称S具有性质P，
(1)当n=10时，试判断集合B={x∈A|x＞9}和C={x∈A|x=3k-1，k∈N*}是否具有性质P？并说明理由；
(2)当n=1 000时，
①若集合S具有性质P，那么集合T={2001-x|x∈S}是否一定具有性质P？并说明理由；
②若集合S具有性质P，求集合S中元素个数的最大值。

已知集合A={1，2，3，…，2n}（n∈N*），对于A的一个子集S：若存在不大于n的正整数m，使得对S中的任意一对元素s₁，s₂，都有|s₁-s₂|≠m，则称S具有性质P。
（1）当n=10时，试判断集合B={x∈A|x>9}和C={x∈A|x=3k-1，k∈N*）是否具有性质P？并说明理由；
（2）当n=1000时，
① 若集合S具有性质P，那么集合T={2001-x|x∈S}是否一定具有性质P?并说明理由；
②若集合S具有性质P，求集合S中元素个数的最大值。