Доведення числових нерівностей