、满足不等式log2^x+log2^(3*2^n-1-x)大于等于2n-1(n属于N)的正整数x的个数记为an,{an}