addition_to_an_inequality.md: minor edit.