25. § 2. Доведення нерівностей