Неравенство Высочанского–Петунина