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