inequality (1)