an=a(1/2)^n(a不等于0且为常数),是判断an的单调性