there is an inequality with equality