bn=an*log1/2(an)=2^n*log1/2(2^n)=2^n*log1/2((1/2)^(-n))=-n*2^n,
Sn=b1+b2+……+bn
=-(1*2+2*2^2+3*2^3+……+n*2^n)
2Sn=-2(1*2+2*2^2+……+n*2^n)=-(1*2^2+2*2^3+……+(n-1)*2^n+n*2^(n+1))
二式相减得,
Sn=-(-2-2^2-2^3+……-2^n+n*2^(n+1))=2+2^2+2^3+……+2^n-n*2^(n+1)=2^(n+1)-2-n*2^(n+1)
因此Sn+n*2^n+1>30可以转化为:
2^(n+1)-2-n*2^(n+1)+n*2^(n+1)>30,
2^(n+1)-2>30,2^(n+1)>32,2^(n+1)>2^5,n+1>5,n>6,即n的最小值为7.
不知道