Ответ:

Применим свойство \(\log_a b\cdot\log_b c=\log_a c\):

\(\log_{1/2}3\cdot\log_3\frac12=\log_{1/2}\frac12=1\).

Так как \(1>-2\), требуемое неравенство доказано.