inequality (21)