a_1>0