c>=b>=aとしても一般性を失わない
(与式)=log_a(b)+log_a(c)/log_a(b)+1/log_a(c)>0
ってなんか違うな