Completing an inequality