Inequalities not satisfied by any real number x