b\geq a