inequality (17)