Giải bất phương trình (theo quy tắc nhân): -x > 4

 –x > 4

⇔ (-x).(-1) < 4.(-1) (Nhân cả hai vế với -1 < 0, BĐT đổi chiều).

⇔ x < -4.

Vậy bất phương trình có tập nghiệm x < -4.