a_n=1-\ln_2>0