inequality (20)