Bất đẳng thức, bất phương trình