r\geq a