con "a" ≥ 0.