af(1)>0