a+b\geq c