La media aritmética está entre a y b
Justificación
El razonamiento es análogo si a es mayor o igual a b.