![$2 \times \log_3(3) \cdot \log_3(5) \cdot \log_3(7) \cdot \ldots \cdot \log_3(79)$ $2 \times \log_3(3) \cdot \log_3(5) \cdot \log_3(7) \cdot \ldots \cdot \log_3(79)$](https://dxdy-03.korotkov.co.uk/f/e/1/3/e135c309531b8cce2c14b4895ecd76ce82.png)
и
![$\log_3(4) \cdot \log_3(6) \cdot \log_3(8) \cdot \ldots \cdot \log_3(80)$ $\log_3(4) \cdot \log_3(6) \cdot \log_3(8) \cdot \ldots \cdot \log_3(80)$](https://dxdy-02.korotkov.co.uk/f/5/a/0/5a086404294d4d23c53e0d5fc92d11c082.png)
Возведём оба выражения в квадрат, знак неравенства не изменится. Так как
![$\log_3 3 =1$ $\log_3 3 =1$](https://dxdy-02.korotkov.co.uk/f/9/1/4/9144a2904fb2dac3a82f820ae8d8bd3882.png)
и
![$\log_3{81}=4$ $\log_3{81}=4$](https://dxdy-03.korotkov.co.uk/f/a/2/0/a206ab14690f50631d1a014340d7f60982.png)
, выражения можно переписать в виде
![$(\log_3 3\log_3 5)...(\log_3 79\log_3 81)$ $(\log_3 3\log_3 5)...(\log_3 79\log_3 81)$](https://dxdy-03.korotkov.co.uk/f/a/c/7/ac74b01eb3fffd076f20a4f8539a2c4c82.png)
и
![$(\log_3 4)^2...(\log_3 80)^2$ $(\log_3 4)^2...(\log_3 80)^2$](https://dxdy-04.korotkov.co.uk/f/7/2/3/7231eaedb1d7605beb1202584fe35dea82.png)
Теперь надо воспользоваться неравенством
![$\log(a-1)\log(a+1)<(\log a)^2$ $\log(a-1)\log(a+1)<(\log a)^2$](https://dxdy-04.korotkov.co.uk/f/f/b/b/fbb998e704af91b66e31012d0a568ded82.png)
(основания логарифма опустил, они тут не важны). Оно доказывается с помощью AM-GM в решении задачи 3.4 в книге:
Седракян, Авоян. Неравенства. Методы доказательства.
![$$\sqrt{\log(a-1)\log(a+1)}\leqslant \dfrac{\log(a-1)+\log(a+1)}{2} = \dfrac 1 2\log(a^2-1)<\dfrac 1 2\log(a^2)=\log a$$ $$\sqrt{\log(a-1)\log(a+1)}\leqslant \dfrac{\log(a-1)+\log(a+1)}{2} = \dfrac 1 2\log(a^2-1)<\dfrac 1 2\log(a^2)=\log a$$](https://dxdy-02.korotkov.co.uk/f/5/a/b/5ab3094b6d36fdbead5f0f7daa5ef00982.png)
(при
![$a>1$ $a>1$](https://dxdy-04.korotkov.co.uk/f/7/3/e/73eb6879fd26696fa6f3df5b2ee7346882.png)
; при
![$a\leqslant 1$ $a\leqslant 1$](https://dxdy-04.korotkov.co.uk/f/3/1/3/313329067d2f18dc200f35f2a02e75fb82.png)
другой метод)
Хорошее решение.
Я приблизительно оценил школьными методами. Решение нестрогое, поэтому вкратце.
Поделив произведение логарифмов нечётных чисел на произведение логарифмов четных чисел. Оценка
![$\[ 2 \cdot \prod_{n=2}^{40} \frac{\log(n-\frac{1}{2})}{\log(n)} \]$ $\[ 2 \cdot \prod_{n=2}^{40} \frac{\log(n-\frac{1}{2})}{\log(n)} \]$](https://dxdy-03.korotkov.co.uk/f/6/a/0/6a0cab06f559097bc2a8ad638337d5be82.png)
![$\[ \frac{\log(n-\frac{1}{2})}{\log(n)} \]$ $\[ \frac{\log(n-\frac{1}{2})}{\log(n)} \]$](https://dxdy-01.korotkov.co.uk/f/8/7/1/871d20122611c681b49d5a63e4ff980b82.png)
от
![$n=2$ $n=2$](https://dxdy-02.korotkov.co.uk/f/d/a/6/da60d8ce586cf444dfc2735588ee6cab82.png)
до
![$40$ $40$](https://dxdy-03.korotkov.co.uk/f/2/b/7/2b797fbe6e7fa9936c37484c304423cc82.png)
.
Первый множитель приблизительно
![$\( 0.5 \) (n=2)$ $\( 0.5 \) (n=2)$](https://dxdy-01.korotkov.co.uk/f/8/4/3/843e05bc614beaa1c1f844161b08c5d082.png)
. Немного больше
![$\( 0.5 \)$ $\( 0.5 \)$](https://dxdy-03.korotkov.co.uk/f/a/6/3/a63b24204012898d7dd73e19cd9d028a82.png)
. Каждый последующий множитель в цепочке меньше единицы и приближается к единице. В итоге
![$\( 2 \cdot k \), \( k < \frac{1}{2} \)$ $\( 2 \cdot k \), \( k < \frac{1}{2} \)$](https://dxdy-02.korotkov.co.uk/f/5/8/7/5878335e7eb5d072504abc58dcf8c4af82.png)
Следовательно, произведение логарифмов четных чисел больше.