Доведення нерівностей