Sprawdzenie, dowód logarytmy Rivi: Czy takie uzasadnienie wystarczy? Wykaż, że jeśli ae(0,1) i b>1 to prawdziwa jest nierówność log_ab+¹₄log_ba+1≤0 i czy wystarczające jest przekształcenie do postaci ^(2log_ab+1)2_4logab≤0 czy ew dopisać, że dla tych założeń logarytm w mianowniku jest zawsze ujemny, tak więc licznik musi być dodatni, żeby nierówność była poprawna? Czy jakoś jeszcze trzeba przekształcić mianownik?