a_0\ge 3