>>672
a<0, ay≧0 ⇒ y≦0