O conjunto-verdade da inequação é