Обе части неравенства можно домножить на функцию \(\varphi(x)\), сохранив знак неравенства, только если \(\varphi\) строго положительна на всём рассматриваемом множестве \(M\).