\(a\geq\forall\)