a_0 > 0