KöMaL 2019 C1552

Prove that if $0<a<1$ and $0<b<1$ then $\log_a\frac{2ab}{a+b}\cdot\log_b\frac{2ab}{a+b}\ge 1$ .

Official text KöMaL. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.